Side-Channel Aware Fuzzing
Philip Sperl and Konstantin Böttinger

NetSpectre: Read Arbitrary Memory over Network
Michael Schwarz, Martin Schwarzl, Moritz Lipp, Jon Masters and Daniel Gruss

maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
Gilles Barthe, Sonia Belaïd, Gaëtan Cassiers, Pierre-Alain Fouque, Benjamin Grégoire and François-Xavier Standaert

Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems
Chris Novakovic and David Parker