• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 2019
• 
  Sébastien Carré, Victor Dyseryn, Adrien Facon, Sylvain Guilley, Thomas Perianin:
  End-to-end automated cache-timing attack driven by Machine Learning. PROOFS 2019: 1-16
• 
  Wei Cheng, Claude Carlet, Kouassi Goli, Jean-Luc Danger, Sylvain Guilley:
  Detecting Faults in Inner-Product Masking Scheme - IPM-FD: IPM with Fault Detection. PROOFS 2019: 17-32
• 
  Fatemeh Ganji, Shahin Tajik, Pascal Stauss, Jean-Pierre Seifert, Domenic Forte, Mark M. Tehranipoor:
  Rock'n'roll PUFs: Crafting Provably Secure PUFs from Less Secure Ones. PROOFS 2019: 33-48
• 
  Osnat Keren, Ilia Polian:
  A comment on information leakage from robust code-based checkers detecting fault attacks on cryptographic primitives. PROOFS 2019: 49-63
• 
  Rei Ueno, Junko Takahashi, Yu-ichi Hayashi, Naofumi Homma:
  Constructing Sliding Windows Leak from Noisy Cache Timing Information of OSS-RSA. PROOFS 2019: 64-77
• 
  Karine Heydemann, Ulrich Kühne, Letitia Li:
  Proceedings of 8th International Workshop on Security Proofs for Embedded Systems, PROOFS 2019, colocated with CHES 2018, Atlanta, GA, USA, August 24, 2019. Kalpa Publications in Computing 11, EasyChair 2019 [contents]
• 2018
• 
  Manaar Alam, Debdeep Mukhopadhyay, Sai Praveen Kadiyala, Siew Kei Lam, Thambipillai Srikanthan:
  Side-Channel Assisted Malware Classifier with Gradient Descent Correction for Embedded Platforms. PROOFS 2018: 1-15
• 
  Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki:
  A Non-Reversible Insertion Method for Hardware Trojans Based on Path Delay Faults. PROOFS 2018: 50-67
• 
  Batya Karp, Maël Gay, Osnat Keren, Ilia Polian:
  Detection and Correction of Malicious and Natural Faults in Cryptographic Modules. PROOFS 2018: 68-82
• 
  Muhammad Ali Siddiqi, Robert M. Seepers, Mohammad Hamad, Vassilis Prevelakis, Christos Strydis:
  Attack-tree-based Threat Modeling of Medical Implants. PROOFS 2018: 32-49
• 
  Danilo Sijacic, Josep Balasch, Bohan Yang, Santosh Ghosh, Ingrid Verbauwhede:
  Towards Efficient and Automated Side Channel Evaluations at Design Time. PROOFS 2018: 16-31
• 
  Lejla Batina, Ulrich Kühne, Nele Mentens:
  PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018. Kalpa Publications in Computing 7, EasyChair 2018 [contents]
• 2017
• 
  Poulami Das, Debapriya Basu Roy, Debdeep Mukhopadhyay:
  Automatic Generation of HCCA Resistant Scalar Multiplication Algorithm by Proper Sequencing of Field Multiplier Operands. PROOFS 2017: 33-49
• 
  Christoph Baumann, Oliver Schwarz, Mads Dam:
  Compositional Verification of Security Properties for Embedded Execution Platforms. PROOFS 2017: 1-16
• 
  Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz:
  Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. PROOFS 2017: 17-32
• 
  Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta:
  An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach. PROOFS 2017: 50-67
• 
  Nils Wisiol, Christoph Graebnitz, Marian Margraf, Manuel Oswald, Tudor A. A. Soroceanu, Benjamin Zengin:
  Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs. PROOFS 2017: 68-83
• 
  Ulrich Kühne, Jean-Luc Danger, Sylvain Guilley:
  PROOFS 2017, 6th International Workshop on Security Proofs for Embedded Systems, Taipei, Taiwan, September 29th, 2017. EPiC Series in Computing 49, EasyChair 2017 [contents]