|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 70 publication records. Showing 70 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Miao Yu, Basel Halak, Mark Zwolinski |
Using Hardware Performance Counters to Detect Control Hijacking Attacks. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
4th IEEE International Verification and Security Workshop, IVSW 2019, Rhodes Island, Greece, July 1-3, 2019 |
IVSW |
2019 |
DBLP BibTeX RDF |
|
1 | Honorio Martín, Elena Ioana Vatajelu, Giorgio Di Natale, Osnat Keren |
On the Reliability of the Ring Oscillator Physically Unclonable Functions. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yildiran Yilmaz, Basel Halak |
A Two-Flights Mutual Authentication for Energy-Constrained IoT Devices. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marc Merandat, Vincent Reynaud, Emanuele Valea, Jérôme Quévremont, Nicolas Valette, Paolo Maistri, Régis Leveugle, Marie-Lise Flottes, Sophie Dupuis, Bruno Rouzeyre, Giorgio Di Natale |
A Comprehensive Approach to a Trusted Test Infrastructure. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zacharias Takakis, Dimitrios Mangiras, Chrysostomos Nicopoulos, Giorgos Dimitrakopoulos |
Dynamic Adjustment of Test-Sequence Duration for Increasing the Functional Coverage. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Shuja Siddiqui, Geraldine Shirley, Shreya Bendre, Girija Bhagwat, Jim Plusquellic, Fareena Saqib |
Secure Design Flow of FPGA Based RISC-V Implementation. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Batya Karp, Ofer Amrani, Osnat Keren |
Nonlinear Product Codes for Reliability and Security. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nan Du, Mahdi Kiani, Xianyue Zhao, Danilo Bürger, Oliver G. Schmidt, Ramona Ecke, Stefan E. Schulz, Heidemarie Schmidt, Ilia Polian |
Electroforming-free Memristors for Hardware Security Primitives. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arash Nejat, Zahra Kazemi, Vincent Beroulle, David Hély, Mahdi Fazeli |
Restricting Switching Activity Using Logic Locking to Improve Power Analysis-Based Trojan Detection. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haibo Su, Basel Halak, Mark Zwolinski |
Two-Stage Architectures for Resilient Lightweight PUFs. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zahra Kazemi, Athanasios Papadimitriou, Ioanna Souvatzoglou, Ehsan Aerabi, Mosabbah Mushir Ahmed, David Hély, Vincent Beroulle |
On a Low Cost Fault Injection Framework for Security Assessment of Cyber-Physical Systems: Clock Glitch Attacks. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aayush Singla, Bernhard Lippmann, Helmut Graeb |
Verification of Physical Chip Layouts Using GDSII Design Data. |
IVSW |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yildiran Yilmaz, Steve R. Gunn, Basel Halak |
Lightweight PUF-Based Authentication Protocol for IoT Devices. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adam Hastings, Sean Jensen, Jeffrey Goeders, Brad L. Hutchings |
Using Physical and Functional Comparisons to Assure 3rd-Party IP for Modern FPGAs. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thao Le 0001, Lucas Weaver, Jia Di, Shaojie Zhang, Yier Jin |
Hardware Trojan Detection and Functionality Determination for Soft IPs. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Haibo Su, Mark Zwolinski, Basel Halak |
A Machine Learning Attacks Resistant Two Stage Physical Unclonable Functions Design. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sofiane Takarabt, Kais Chibani, Adrien Facon, Sylvain Guilley, Yves Mathieu, Laurent Sauvage, Youssef Souissi |
Pre-silicon Embedded System Evaluation as New EDA Tool for Security Verification. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Barenghi, Luca Breveglieri, Niccolò Izzo, Gerardo Pelosi |
Software-only Reverse Engineering of Physical DRAM Mappings for Rowhammer Attacks. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Facon, Sylvain Guilley, Matthieu Lec'Hvien, Alexander Schaub 0001, Youssef Souissi |
Detecting Cache-Timing Vulnerabilities in Post-Quantum Cryptography Algorithms. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Werner, Bernhard Lippmann, Johanna Baehr, Helmut Gräb |
Reverse Engineering of Cryptographic Cores by Structural Interpretation Through Graph Analysis. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Drechsler, Christoph Lüth, Görschwin Fey, Tim Güneysu |
Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amira Elhamshary, Yehea Ismail, Said Elkhamy |
Security Analysis of Chaotic Baker Maps. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Drechsler |
Keynotes: Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maoyuan Qin, Wei Hu 0008, Dejun Mu, Yu Tai |
Property Based Formal Security Verification for Hardware Trojan Detection. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marcelli, Ernesto Sánchez 0001, Luca Sasselli, Giovanni Squillero |
On the Mitigation of Hardware Trojan Attacks in Embedded Processors by Exploiting a Hardware-Based Obfuscator. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018 |
IVSW |
2018 |
DBLP BibTeX RDF |
|
1 | Zahra Kazemi, Athanasios Papadimitriou, David Hély, Mahdi Fazeli, Vincent Beroulle |
Hardware Security Evaluation Platform for MCU-Based Connected Devices: Application to Healthcare IoT. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Da Silva, Emanuele Valea, Marie-Lise Flottes, Sophie Dupuis, Giorgio Di Natale, Bruno Rouzeyre |
A New Secure Stream Cipher for Scan Chain Encryption. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mosabbah Mushir Ahmed, David Hély, Etienne Perret, Nicolas Barbot, Romain Siragusa, Maxime Bernier, Frédéric Garet |
Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shakil Mahmud, Brooks Olney, Robert Karam |
Architectural Diversity: Bio-Inspired Hardware Security for FPGAs. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | M. Tanjidur Rahman, Qihang Shi, Shahin Tajik, Hao-Ting Shen, Damon L. Woodard, Mark M. Tehranipoor, Navid Asadizanjani |
Physical Inspection & Attacks: New Frontier in Hardware Security. |
IVSW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Padelis Papadopoulos, Anand Raman, Yorgos Koutsoyannopoulos, Nikolas Provatas, Magdy Abadir |
Challenges and trends in SOC Electromagnetic (EM) Crosstalk. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov |
Asserting causal properties in High Level Synthesis. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jo Vliegen, Oscar Reparaz, Nele Mentens |
Maximizing the throughput of threshold-protected AES-GCM implementations on FPGA. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Debapriya Basu Roy, Shivam Bhasin, Ivica Nikolic, Debdeep Mukhopadhyay |
Opening pandora's box: Implication of RLUT on secure FPGA applications and IP security. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian |
Towards mixed structural-functional models for algebraic fault attacks on ciphers. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Karen Horovitz, Meha Kainth, Ryan Kenny |
Protecting partial regions in FPGA bitstreams. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohd Syafiq Mispan, Basel Halak, Mark Zwolinski |
Lightweight obfuscation techniques for modeling attacks resistant PUFs. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elena Ioana Vatajelu, Giorgio Di Natale, Paolo Prinetto |
Zero bit-error-rate weak PUF based on Spin-Transfer-Torque MRAM memories. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Steve Trimberger, Steve McNeil |
Security of FPGAs in data centers. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Wallat, Marc Fyrbiak, Moritz Schlögel, Christof Paar |
A look at the dark side of hardware reverse engineering - a case study. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rachael J. Parker |
Entropy justification for metastability based nondeterministic random bit generator. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kaibin Huang, Raylin Tso |
Provable secure dual-server public key encryption with keyword search. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Mureddu, Oto Petura, Nathalie Bochard, Lilian Bossuet, Viktor Fischer |
Efficient design of Oscillator based Physical Unclonable Functions on Flash FPGAs. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Seyed-Abdollah Aftabjahani, Amitabh Das |
Robust secure design by increasing the resilience of Attack Protection Blocks. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Di Natale, Marie-Lise Flottes, Sophie Dupuis, Bruno Rouzeyre |
Hacking the Control Flow error detection mechanism. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eli Weintraub |
Estimating Target Distribution in security assessment models. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE 2nd International Verification and Security Workshop, IVSW 2017, Thessaloniki, Greece, July 3-5, 2017 |
IVSW |
2017 |
DBLP BibTeX RDF |
|
1 | Cyril Bresch, Adrien Michelet, Laurent Amato, Thomas Meyer, David Hély |
A red team blue team approach towards a secure processor design with hardware shadow stack. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David McCann, Elisabeth Oswald |
Practical evaluation of masking software countermeasures on an IoT processor. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Evan Chavis, Harrison Davis, Yijun Hou, Matthew Hicks, Salessawi Ferede Yitbarek, Todd M. Austin, Valeria Bertacco |
SNIFFER: A high-accuracy malware detector for enterprise-based systems. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bozena Kaminska, Jasbir N. Patel, Hao Jiang |
Secure authentication of electronic systems with autonomous optical nano-devices. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marc Fyrbiak, Sebastian Strauss, Christian Kison, Sebastian Wallat, Malte Elson, Nikol Rummel, Christof Paar |
Hardware reverse engineering: Overview and open challenges. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gregoire Gimenez, Abdelkarim Cherkaoui, Raphael Frisch, Laurent Fesquet |
Self-timed Ring based True Random Number Generator: Threat model and countermeasures. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elena Lai Leng Woo, Mark Zwolinski, Basel Halak |
Hardware performance counters for system reliability monitoring. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Berryhill, Neil Veira, Andreas G. Veneris, Zissis Poulos |
Learning lemma support graphs in Quip and IC3. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Da Silva, Marie-Lise Flottes, Giorgio Di Natale, Bruno Rouzeyre |
Experimentations on scan chain encryption with PRESENT. |
IVSW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nejmeddine Alimi, Younes Lahbib, Mohsen Machhout, Rached Tourki |
Simulation-based verification of large-integer arithmetic circuits. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Riener, Görschwin Fey |
Counterexample-guided diagnosis. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Arumí, Salvador Manich, Rosa Rodríguez-Montañés |
RRAM based cell for hardware security applications. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Tempelmeier, Georg Sigl |
MaskVer: a tool helping designers detect flawed masking implementations. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Papa-Sidy Ba, Sophie Dupuis, Marie-Lise Flottes, Giorgio Di Natale, Bruno Rouzeyre |
Using outliers to detect stealthy hardware trojan triggering? |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Danilo Vendraminetto |
Secure Path Verification. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John Adler, Ryan Berryhill, Andreas G. Veneris |
Revision debug with non-linear version history in regression verification. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marek Cieplucha, Witold A. Pleskacz |
New architecture of the object-oriented functional coverage mechanism for digital verification. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Vourkas, Angel Abusleme, Vasileios G. Ntinas, Georgios Ch. Sirakoulis, Antonio Rubio 0001 |
A Digital Memristor Emulator for FPGA-Based Artificial Neural Networks. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
IVSW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
1st IEEE International Verification and Security Workshop, IVSW 2016, Sant Feliu de Guixols, Spain, July 4-6, 2016 |
IVSW |
2016 |
DBLP BibTeX RDF |
|
Displaying result #1 - #70 of 70 (100 per page; Change: )
|
|