Automated Verification of Real-World Cryptographic Implementations

被引：12
|
作者：
Tomb, Aaron [1 ]
机构：
[1] Galois, Xanthi, Greece
来源：
IEEE SECURITY & PRIVACY | 2016年 / 14卷 / 06期
关键词：
correctness proofs; cryptography; privacy; program verification; security; software engineering;
D O I：
10.1109/MSP.2016.125
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Cryptographic software is increasingly important but notoriously difficult to implement correctly. The open source Cryptol and Software Analysis Workbench tools can automatically and rigorously prove equivalence between machine-readable cryptographic specifications and real-world implementations.
引用
收藏
页码：26 / 33
页数：8
相关论文
共 50 条
  • [41] Real-World Evidence of Automated Insulin Delivery System Use
    Considine, Elizabeth G.
    Sherr, Jennifer L.
    DIABETES TECHNOLOGY & THERAPEUTICS, 2024, 26 : 53 - 65
  • [42] Real-world trials to answer real-world questions
    Freemantle, N
    Blonde, L
    Bolinder, B
    Gerber, RA
    Hobbs, FDR
    Martinez, L
    Ross, S
    PHARMACOECONOMICS, 2005, 23 (08) : 747 - 754
  • [43] Real-world trials to answer real-world questions
    Nick Freemantle
    Lawrence Blonde
    Bjorn Bolinder
    Robert A. Gerber
    F. D. Richard Hobbs
    Luc Martinez
    Stuart Ross
    PharmacoEconomics, 2005, 23 : 747 - 754
  • [44] Translating real-world evidence/real-world data
    Ravenstijn, Paulien
    CTS-CLINICAL AND TRANSLATIONAL SCIENCE, 2024, 17 (05):
  • [45] Real-world studies addressing real-world issues
    Freemantle, N
    DEUTSCHE MEDIZINISCHE WOCHENSCHRIFT, 2005, 130 : S77 - S81
  • [46] Balancing real-world problems with real-world results
    Gordon, R
    PHI DELTA KAPPAN, 1998, 79 (05) : 390 - 393
  • [47] Evaluation of User Plane Function Implementations in Real-World 5G Networks
    Christakis, Sokratis
    Tsourdinis, Theodoros
    Makris, Nikos
    Korakis, Thanasis
    Fdida, Serge
    IEEE INFOCOM 2024-IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS, INFOCOM WKSHPS 2024, 2024,
  • [48] Real-world comparison of CPU and GPU implementations of SNPrank: a network analysis tool for GWAS
    Davis, Nicholas A.
    Pandey, Ahwan
    McKinney, B. A.
    BIOINFORMATICS, 2011, 27 (02) : 284 - 285
  • [49] A real-world online signature verification system based on correlation algorithm
    Chen, Charles
    Tseng, Kuo-Kun
    Zhang, Xiaofeng
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2018, 58 (04) : 321 - 339
  • [50] Turning Real-World Systems into Verification-Driven Learning Cases
    Tu, Shengru
    Tankashala, Shireesha
    Oh, Sehun
    Becker, Brian
    Horton, Brian
    Kallem, Aditya
    Yang, Zhao
    2011 24TH IEEE-CS CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEET), 2011, : 129 - 138
12345