Publications related to Cryptography

SafetyPin: Encrypted Backups with Human-Memorable Secrets

We present the design and implementation of SafetyPin, a system for encrypted mobile-device backups. Like existing cloud-based mobile-backup systems, including those of Apple and Google, SafetyPin requires users to remember only a short PIN and defends aga ...

USENIX ASSOC2020

Closing Leaks: Routing Against Crosstalk Side-Channel Attacks

Mirjana Stojilovic, Seyedeh Sharareh Mirzargar, Zeinab Seifoori

This paper presents an extension to PathFinder FPGA routing algorithm, which enables it to deliver FPGA designs free from risks of crosstalk attacks. Crosstalk side-channel attacks are a real threat in large designs assembled from various IPs, where some I ...

2020

X-Attack: Remote Activation of Satisfiability Don’t-Care Hardware Trojans on Shared FPGAs

Mirjana Stojilovic, Dina Gamaleldin Ahmed Shawky Mahmoud, Wei Hu

Albeit very appealing, FPGA multitenancy in the cloud computing environment is currently on hold due to a number of recently discovered vulnerabilities to side-channel attacks and covert communication. In this work, we successfully demonstrate a new attack ...

2020

Analysis of the BIKE post-quantum cryptographic protocols and the Legendre pseudorandom function

Dusan Kostic

The field of post-quantum cryptography studies cryptographic systems that are secure against an adversary in possession of a quantum computer. In 2017, the National Institute of Standards and Technology (NIST) initiated a process to standardize quantum-res ...

EPFL2020

Tweaking Key-Alternating Feistel Block Ciphers

Lei Wang, Hailun Yan

Tweakable block cipher as a cryptographic primitive has found wide applications in disk encryption, authenticated encryption mode and message authentication code, etc. One popular approach of designing tweakable block ciphers is to tweak the generic constr ...

Springer, Cham2020

Sublinear Bounds on the Distinguishing Advantage for Multiple Samples

Serge Vaudenay

The maximal achievable advantage of a (computationally unbounded) distinguisher to determine whether a source

Z

is distributed according to distribution

P_0

or

P_1

, when given access to one sample of

Z

, is characterized by the statistical distance ...

Springer, Cham2020

VOTEAGAIN: A scalable coercion-resistant voting system

Carmela González Troncoso, Wouter Lueks

The strongest threat model for voting systems considers coercion resistance: protection against coercers that force voters to modify their votes, or to abstain. Existing remote voting systems either do not provide this property; require expensive operation ...

USENIX ASSOC2020

Are Cloud FPGAs Really Vulnerable to Power Analysis Attacks?

Francesco Regazzoni, Mirjana Stojilovic, Louis Coulon, Ognjen Glamocanin

Recent works have demonstrated the possibility of extracting secrets from a cryptographic core running on an FPGA by means of remote power analysis attacks. To mount these attacks, an adversary implements a voltage fluctuation sensor in the FPGA logic, rec ...

2020

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Eleonora Testa

Logic synthesis is a key component of digital design and modern EDA tools; it is thus an essential instrument for the design of leading-edge chips and to push the limits of their performance. In the last decades, the electronic circuits community has evolv ...

EPFL2020

Synthesis of Flexible Accelerators for Early Adoption of Ring-LWE Post-quantum Cryptography

Francesco Regazzoni, Subhadeep Banik, Hamid Nejatollahi

The advent of the quantum computer makes current public-key infrastructure insecure. Cryptography community is addressing this problem by designing, efficiently implementing, and evaluating novel public-key algorithms capable of withstanding quantum comput ...

ASSOC COMPUTING MACHINERY2020

Cryptography

Graph Chatbot

Chat with Graph Search

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Closing Leaks: Routing Against Crosstalk Side-Channel Attacks

X-Attack: Remote Activation of Satisfiability Don’t-Care Hardware Trojans on Shared FPGAs

Analysis of the BIKE post-quantum cryptographic protocols and the Legendre pseudorandom function

Tweaking Key-Alternating Feistel Block Ciphers

Sublinear Bounds on the Distinguishing Advantage for Multiple Samples

VOTEAGAIN: A scalable coercion-resistant voting system

Are Cloud FPGAs Really Vulnerable to Power Analysis Attacks?

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Synthesis of Flexible Accelerators for Early Adoption of Ring-LWE Post-quantum Cryptography

Analysis of the BIKE post-quantum cryptographic protocols and the Legendre pseudorandom function

VOTEAGAIN: A scalable coercion-resistant voting system

Tweaking Key-Alternating Feistel Block Ciphers

Sublinear Bounds on the Distinguishing Advantage for Multiple Samples

Synthesis of Flexible Accelerators for Early Adoption of Ring-LWE Post-quantum Cryptography

X-Attack: Remote Activation of Satisfiability Don’t-Care Hardware Trojans on Shared FPGAs

Closing Leaks: Routing Against Crosstalk Side-Channel Attacks

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Are Cloud FPGAs Really Vulnerable to Power Analysis Attacks?

SafetyPin: Encrypted Backups with Human-Memorable Secrets