Document Search Results

Newest Citations Relevance

Bacelar Almeida, José; Barbosa, Manuel; Barthe, Gilles; Laporte, Vincent; Oliveira, Tiago

Certified compilation for cryptography: extended x86 instructions and constant-time verification. (English) Zbl 07553866

Bhargavan, Karthikeyan (ed.) et al., Progress in cryptology – INDOCRYPT 2020. 21st international conference on cryptology in India, Bangalore, India, December 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12578, 107-127 (2020).

MSC: 68P25 68N20 94A60

Cite Review PDF

Full Text: DOI Link

Barthe, Gilles; Betarte, Gustavo; Campo, Juan Diego; Luna, Carlos; Pichardie, David

System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory. (English) Zbl 1459.68027

J. Autom. Reasoning 64, No. 8, 1685-1729 (2020).

MSC: 68M25 68V15 94A60

Cite Review PDF

Full Text: DOI

Barthe, Gilles; Crespo, Juan Manuel; Kunz, César

Beyond 2-safety: asymmetric product programs for relational program verification. (English) Zbl 1419.68063

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 29-43 (2013).

MSC: 68Q60 03B70 68N30

Cite Review PDF

Full Text: DOI

Found 3 Documents (Results 1–3)

Certified compilation for cryptography: extended x86 instructions and constant-time verification. (English) Zbl 07553866

System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory. (English) Zbl 1459.68027

Beyond 2-safety: asymmetric product programs for relational program verification. (English) Zbl 1419.68063

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software