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 条
  • [31] Real-World Battles with Real-World Data
    Brown, Jeffrey
    Bate, Andrew
    Platt, Robert
    Raebel, Marsha
    Sauer, Brian
    Trifiro, Gianluca
    PHARMACOEPIDEMIOLOGY AND DRUG SAFETY, 2017, 26 : 254 - 255
  • [32] Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
    Dreier, Jannik
    Hirschi, Lucca
    Radomirovic, Sasa
    Sasse, Ralf
    IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), 2018, : 359 - 373
  • [33] On the Tight Security of TLS 1.3: Theoretically Sound Cryptographic Parameters for Real-World Deployments
    Diemert, Denis
    Jager, Tibor
    JOURNAL OF CRYPTOLOGY, 2021, 34 (03)
  • [34] On the Tight Security of TLS 1.3: Theoretically Sound Cryptographic Parameters for Real-World Deployments
    Denis Diemert
    Tibor Jager
    Journal of Cryptology, 2021, 34
  • [35] Performance of Cooperative Maneuver Protocols in Real-World Automated Vehicles
    Haefner, Bernhard
    Sauerhammer, Julian
    Schmitt, Georg A.
    Ott, Joerg
    IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2022), 2022, : 1494 - 1499
  • [36] Tackling Dataset Bias With an Automated Collection of Real-World Samples
    Sevetlidis, Vasileios
    Pavlidis, George
    Mouroutsos, Spyridon
    Gasteratos, Antonios
    IEEE Access, 2022, 10 : 126832 - 126844
  • [37] CAOVerif: An open-source deductive verification platform for cryptographic software implementations
    Almeida, Jose Bacelar
    Barbosa, Manuel
    Filliatre, Jean-Christophe
    Pinto, Jorge Sousa
    Vieira, Barbara
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 91 : 216 - 233
  • [38] CirFix: Automated Hardware Repair and its Real-World Applications
    Santiesteban, Priscila
    Huang, Yu
    Weimer, Westley
    Ahmad, Hammad
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (07) : 3736 - 3752
  • [39] Tackling Dataset Bias With an Automated Collection of Real-World Samples
    Sevetlidis, Vasileios
    Pavlidis, George
    Mouroutsos, Spyridon
    Gasteratos, Antonios
    IEEE ACCESS, 2022, 10 : 126832 - 126844
  • [40] Parallel Symbolic Execution for Automated Real-World Software Testing
    Bucur, Stefan
    Ureche, Vlad
    Zamfir, Cristian
    Candea, George
    EUROSYS 11: PROCEEDINGS OF THE EUROSYS 2011 CONFERENCE, 2011, : 183 - 197
12345