Formal software verification measures up
연구 분야: Cryptography
학회: Communications of the ACM, Volume 64, Issue 7
초록
Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
📄 논문 정보
| 발행 연도 | 2021년 |
|---|---|
| 인용수 | 0 |
| 출판 국가 | |
| 사이트 | ACM |
| 좋아요 수 | 0 |
연관 논문 목록 (50건)
Peer-to-Peer Distribution of Graph States Across Spacetime Quantum Networks of Arbitrary Topology
키워드:
#algorithms
#graph
#mathematical
#quantum
#scalability
파트:
Cryptography
|
연도:
2025
An Entanglement Swapping Throughput Analysis for Quantum Networks Using Linear Quantum Optics
키워드:
#mathematical
#quantum
#teleportation
#simplifies
#optics
파트:
Cryptography
|
연도:
2025
A systematic literature review of video forgery detection techniques
키워드:
#security
#2023
#software
#daily
#smartphone
파트:
Cryptography
|
연도:
2025
Performance Evaluation of Lightweight Cryptographic Ciphers on ARM Processor for IoT Deployments
키워드:
#internet
#software
#tools
#cryptographic
#ciphers
파트:
Cryptography
|
연도:
2025
Research on software update management system based on UN R156 regulation and CMMI model
키워드:
#technology
#software
#automotive
#upgrade
#construction
파트:
Cryptography
|
연도:
2025
Benchmarking the security protocol and data model (SPDM) for component authentication
키워드:
#security
#software
#encryption
#hardware
#firmware
파트:
Cryptography
|
연도:
2025
ChiLow and ChiChi: New Constructions for Code Encryption
저자:
Lukas Stennes
,
Yanis Belkheyar
,
Patrick Derbez
,
Shibam Ghosh
,
Gregor Leander
,
Silvia Mella
,
Léo Perrin
,
Shahram Rasoolzadeh
,
Siwei Sun
,
Gilles Van Assche
,
Damian Vizár
키워드:
#software
#encryption
#decrypted
#decryption
#ciphers
파트:
Cryptography
|
연도:
2025
Robust and secure image watermarking algorithm resisting JPEG compression and cropping based on Reed Solomon (RS) codes
키워드:
#algorithm
#matrix
#coding
#transform
#watermarking
파트:
Cryptography
|
연도:
2025
Multi-Key Fully Homomorphic Encryption Scheme Over the Integers
키워드:
#mathematical
#encryption
#ciphertext
#encrypted
#keys
파트:
Cryptography
|
연도:
2024
Quantum Circuits for High-Degree and Half-Multiplication for Post-quantum Analysis
키워드:
#algorithm
#mathematical
#cryptography
#polynomial
#multiplications
파트:
Cryptography
|
연도:
2024