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 条
  • [41] The MILS architecture for high-assurance embedded systems
    Alves-Foss, Jim
    Oman, Paul W.
    Taylor, Carol
    Harrison, W. Scott
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2006, 2 (3-4) : 239 - 247
  • [42] HIGH ASSURANCE CRYPTOGRAPHIC INTERFACE
    Lanz, Daniel J.
    2008 IEEE MILITARY COMMUNICATIONS CONFERENCE: MILCOM 2008, VOLS 1-7, 2008, : 1187 - 1191
  • [43] Formal Verification for High-Assurance Behavioral Synthesis
    Ray, Sandip
    Hao, Kecheng
    Chen, Yan
    Xie, Fei
    Yang, Jin
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 337 - +
  • [44] The SSP: An example of high-assurance systems engineering
    Wickstrom, GL
    Davis, J
    Morrison, SE
    Roach, S
    Winter, VL
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 167 - 177
  • [45] Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3
    Almeida, Jose Bacelar
    Baritel-Ruet, Cecile
    Barbosa, Manuel
    Barthe, Gilles
    Dupressoir, Francois
    Gregoire, Benjamin
    Laporte, Vincent
    Oliveira, Tiago
    Stoughton, Alley
    Strub, Pierre-Yves
    PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 1607 - 1622
  • [46] A Roadmap for High Assurance Cryptography
    Halpin, Harry
    FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2017), 2018, 10723 : 83 - 91
  • [47] COGENT: Verifying High-Assurance File System Implementations
    Amani, Sidney
    Hixon, Alex
    Chen, Zilin
    Rizkallah, Christine
    Chubb, Peter
    O'Connor, Liam
    Beeren, Joel
    Nagashima, Yutaka
    Lim, Japheth
    Sewell, Thomas
    Tuong, Joseph
    Keller, Gabriele
    Murray, Toby
    Klein, Gerwin
    Heiser, Gernot
    ACM SIGPLAN NOTICES, 2016, 51 (04) : 175 - 188
  • [48] Implementing a High-Assurance Smart-Card OS
    Karger, Paul A.
    Toll, David C.
    Palmer, Elaine R.
    McIntosh, Suzanne K.
    Weber, Samuel
    Edwards, Jonathan W.
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, 2010, 6052 : 51 - +
  • [49] Copilot: a Do-It-Yourself High-Assurance Compiler
    Pike, Lee
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (102): : 1 - 1
  • [50] New Paradigms and Tools for High-Assurance Systems Modelling
    Flammini, Francesco
    Mazzocca, Nicola
    Vittorini, Valeria
    ERCIM NEWS, 2008, (75): : 28 - 30
12345