Leakage-Free Probabilistic Jasmin Programs
Abstract
References
Index Terms
- Leakage-Free Probabilistic Jasmin Programs
Recommendations
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
CCS '19: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications SecurityWe present a high-assurance and high-speed implementation of the SHA-3 hash function. Our implementation is written in the Jasmin programming language, and is formally verified for functional correctness, provable security and timing attack resistance ...
Leakage-resilient CCA2-secure certificateless public-key encryption scheme without bilinear pairing
In practical applications, an encryption scheme should withstand various leakage attacks (e.g., side-channel attacks, cold-boot attacks, etc.). Thus, in this paper, a new leakage-resilient certificateless public-key encryption (LR-CL-PKE) scheme is ...
Side-Channel Attacks on Cryptographic Software
When it comes to cryptographic software, side channels are an often-overlooked threat. A side channel is any observable side effect of computation that an attacker could measure and possibly influence. In the software world, side-channel attacks have ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Conferences](/cms/asset/d4b47ff6-f193-457a-9702-9cffc4eae7f9/3703595.cover.jpg)
- General Chairs:
- Kathrin Stark,
- Amin Timany,
- Program Chairs:
- Sandrine Blazy,
- Nicolas Tabareau
Sponsors
In-Cooperation
- SIGLOG: SIGLOG
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- FCT - Fundação para a Ciência e a Tecnologia
- Estonian Research Council
- Estonian Research Council
- Estonian Centre of Excellence in IT
- Estonian Centre of Excellence
- Estonian Research Council
Conference
Acceptance Rates
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 47Total Downloads
- Downloads (Last 12 months)47
- Downloads (Last 6 weeks)47
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in