default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. IVSW 2016: Sant Feliu de Guixols, Spain
- 1st IEEE International Verification and Security Workshop, IVSW 2016, Sant Feliu de Guixols, Spain, July 4-6, 2016. IEEE 2016, ISBN 978-1-5090-1141-4
- Michael Tempelmeier, Georg Sigl:
MaskVer: a tool helping designers detect flawed masking implementations. 1-6 - Marek Cieplucha, Witold A. Pleskacz:
New architecture of the object-oriented functional coverage mechanism for digital verification. 1-6 - Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Danilo Vendraminetto
:
Secure Path Verification. 1-6 - Régis Leveugle, A. Chahed, Paolo Maistri, Athanasios Papadimitriou, David Hély, Vincent Beroulle:
On fault injections for early security evaluation vs. laser-based attacks. 1-6 - Ioannis Vourkas, Angel Abusleme, Vasileios G. Ntinas, Georgios Ch. Sirakoulis, Antonio Rubio:
A Digital Memristor Emulator for FPGA-Based Artificial Neural Networks. 1-4 - Nejmeddine Alimi, Younes Lahbib, Mohsen Machhout, Rached Tourki:
Simulation-based verification of large-integer arithmetic circuits. 1-6 - John Adler, Ryan Berryhill, Andreas G. Veneris:
Revision debug with non-linear version history in regression verification. 1-6 - Papa-Sidy Ba, Sophie Dupuis, Marie-Lise Flottes, Giorgio Di Natale, Bruno Rouzeyre:
Using outliers to detect stealthy hardware trojan triggering? 1-6 - Daniel Arumí, Salvador Manich, Rosa Rodríguez-Montañés:
RRAM based cell for hardware security applications. 1-6 - Ahmed Benhassain, Souhir Mhira, Florian Cacho, Vincent Huard, Lorena Anghel:
In-situ slack monitors: taking up the challenge of on-die monitoring of variability and reliability. 1-5 - Heinz Riener, Görschwin Fey:
Counterexample-guided diagnosis. 1-6
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-15 01:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
