verification

  1. Home
  2. search page
  3. keyword

verification

정의: Verification or verify may refer to:

📄 키워드 상세정보

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

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

MPC with Publicly Identifiable Abort from Pseudorandomness and Homomorphic Encryption
저자: Marc Rivinius
키워드: #encryption #server #verification #verifiability #nanoseconds
파트: Cryptography | 연도: 2025
Towards a Formally Verified Fully Homomorphic Encryption Compute Engine
저자: Jeremy Casas , Zhenkun Yang , Wen Wang , Jin Yang , Adwait Godbole
키워드: #algorithmic #encryption #hardware #verification #verifying
파트: Verification | 연도: 2025
TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
저자: Song Min Gyu , Ai Liu , Yang Liu , Shaoying Liu
키워드: #automated #manual #testing #verification #proof
파트: Verification | 연도: 2025
SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F*
저자: Catalin Hritcu , Cezar Constantin Andrici , Danel Ahman , Ruxandra Icleanu , Guido Martínez , Exequiel Rivas , Théo Winterhalter
키워드: #interoperability #refinement #verification #protecting #proofs
파트: Verification | 연도: 2025
Formal Security Analysis of Deep Neural Network Architecture
저자: Marwa Zeroual , Brahim Hamid , Morayo Adedjouma , Jason Jaskolka
키워드: #technology #neural #security #verification #successfully
파트: Networking | 연도: 2025
VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption
저자: Jean-Pierre Hubaux , Sylvain Chatel , Christian Knabenhans , Apostolos Pyrgelis , Carmela Troncoso
키워드: #encryption #library #verification #encrypted #protecting
파트: Cryptography | 연도: 2024
Enhancing GenMC’s Usability and Performance
저자: Michalis Kokologiannakis , Rupak Majumdar , Viktor Vafeiadis
키워드: #checker #verification #automate #verify #usability
파트: Verification | 연도: 2024
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
저자: Xaver Fink , Anastasia Mavridou , Andreas Katis , Borja Fernández Adiego
키워드: #algorithm #integration #tools #programmable #verification
파트: Verification | 연도: 2024
NSPG: Natural language Processing-based Security Property Generator for Hardware Security Assurance
저자: Xingyu Meng , Amisha Srivastava , Ayush Arunachalam , Avik Ray , Pedro Henrique Silva , Rafail Psiakis , Yiorgos Makris , Kanad Basu
키워드: #trained #manual #hardware #verification #validating
파트: Verification | 연도: 2024
Exchanging information in cooperative software validation
저자: Jan Haltermann , Heike Wehrheim
키워드: #feasibility #tools #testing #verification #cooperation
파트: Verification | 연도: 2024