detected

  1. Home
  2. search page
  3. keyword

detected

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2020년
주요 연관 키워드algorithm
좋아요 수0

키워드별 논문 목록 (5건)

Enhancing Compositional Static Analysis with Dynamic Analysis
저자: Dino Distefano , Matteo Marescotti , Cons T Åhs , Sopot Cela , Gabriela Cunha Sampaio , Radu Grigore , Ákos Hajdu , Timotej Kapus , Ke Mao , Thibault Suzanne
키워드: #algorithm #improving #software #analyzer #detected
파트: Verification | 연도: 2024
A Rapid Review on Fuzz Security Testing for Software Protocol Implementations
저자: Alessandro Marchetto
키워드: #decade #security #rapid #frequently #detected
파트: Verification | 연도: 2023
Randomized Testing of Byzantine Fault Tolerant Algorithms
저자: Levin N Winter , Florena Buse , Daan de Graaf , Klaus Von Gleissenthall , Burcu Kulahcioglu Ozkan
키워드: #algorithm #algorithms #insights #detected #tendermint
파트: Verification | 연도: 2023
Thermal and Voltage Side and Covert Channels and Attacks in Cloud FPGAs
저자: Jakub Szefer
키워드: #cryptographic #processors #synthesize #detected #instantiated
파트: Cryptography | 연도: 2020
Research on safety protection technology of containerization application based on probe detection
저자: Liu Dong , Li Yujia , Cui Can , Huang Yunhao , Di Fangchun
키워드: #technology #health #expanding #detected #prolonging
파트: Software Development | 연도: 2020