High-Assurance Cryptography: Cryptographic Software We Can Trust

被引：5
|
作者：
Barthe, Gilles [1 ]
机构：
[1] IMDEA Software Inst, Madrid, Spain
来源：
IEEE SECURITY & PRIVACY | 2015年 / 13卷 / 05期
关键词：
Algorithm design and analysis; Computers; Cryptography; Libraries; Software; Standards;
D O I：
10.1109/MSP.2015.112
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In response to recent cyberattacks, mathematicians, cryptographers, and security experts have advocated developing alternative approaches for building 'high-assurance' cryptographic software. There's evidence that computer tools that deliver high-assurance cryptographic software are within our reach. © 2003-2012 IEEE.
引用
下载
收藏
页码：86 / 89
页数：4
相关论文
共 50 条
  • [1] A Tool-Chain for High-Assurance Cryptographic Software
    Almeida, Jose
    Barbosa, Manuel
    Pacheco, Hugo
    Pereira, Vitor
    ERCIM NEWS, 2016, (106): : 14 - +
  • [2] Jasmin: High-Assurance and High-Speed Cryptography
    Almeida, Jose Bacelar
    Barbosa, Manuel
    Barthe, Gilles
    Blot, Arthur
    Gregoire, Benjamin
    Laporte, Vincent
    Oliveira, Tiago
    Pacheco, Hugo
    Schmidt, Benedikt
    Strub, Pierre-Yves
    CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, : 1807 - 1823
  • [3] Jasmin: High-assurance and high-speed cryptography
    INESC TEC, Universidade Do Minho, Portugal
    不详
    不详
    不详
    不详
    不详
    不详
    Proc ACM Conf Computer Commun Secur, 1600, (1807-1823):
  • [4] Certifying software for high-assurance environments
    Voas, Jeffrey
    IEEE Software, 16 (04): : 48 - 54
  • [5] High-Assurance Cryptography for Web-Based Enterprises
    Simpson, William R.
    Chandersekaran, Coimbatore
    TRANSACTIONS ON ENGINEERING TECHNOLOGIES: SPECIAL ISSUE OF THE WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE 2013, 2014, : 177 - 191
  • [6] Certifying software for high-assurance environments
    Voas, J
    IEEE SOFTWARE, 1999, 16 (04) : 48 - 54
  • [7] Cryptography for a High-Assurance Web-Based Enterprise
    Chandersekaran, Coimbatore
    Simpson, William R.
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2013, VOL I, 2013, I : 23 - 28
  • [8] The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
    Almeida, Jose Bacelar
    Barbosa, Manuel
    Barthe, Gilles
    Gregoire, Benjamin
    Koutsos, Adrien
    Laporte, Vincent
    Oliveira, Tiago
    Strub, Pierre-Yves
    2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, : 965 - 982
  • [9] High-assurance field inversion for curve-based cryptography
    Hvass, Benjamin Salling
    Aranha, Diego F.
    Spitters, Bas
    2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, 2023, : 552 - 567
  • [10] A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components
    Mavroudis, Vasilios
    Cerulli, Andrea
    Svenda, Petr
    Cvrcek, Dan
    Klinec, Dusan
    Danezis, George
    CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, : 1583 - 1600
12345