1
Publications
29
Citations
1
H-Index
2019
Active since
Affiliations
Cécile Baritel-Ruet is an author at Max Planck Institute for Security and Privacy specializing in lightweight cryptography, data security, and formal methods.
Top concepts
EngineeringCryptographyData PrivacyVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware Analysis
Publications per year
2019–2019
1
1
Machine-Checked Proofs for Cryptographic Standards
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa et al. · 2019 · 29 citations · Full text
Cryptographic Primitive, Engineering, Information Security +21
Rows per page
1–1 of 1