SILM 2020: Second Workshop on the Security of Software / Hardware Interfaces Department of Economics (DIEC) of the University of Genova Genova, Italy, September 11, 2020 |
Conference website | https://silm-workshop-2020.inria.fr/ |
Submission link | https://easychair.org/conferences/?conf=silm2020 |
Abstract registration deadline | May 17, 2020 |
Submission deadline | May 17, 2020 |
SILM 2020 is organized as part of the SILM thematic semester funded by the French DGA and managed by Inria for the different partners of the PEC General Partnership Agreement. This workshop is co-located with Euro S&P 2020.
It is becoming increasingly important to combine software and hardware aspects in order to take into account new software attacks. For example, hardware vulnerabilities such as Spectre or Meltdown can be exploited by purely software attacks. Such attacks can be executed remotely and do not require physical access to the targeted hardware platform. On the other hand, hardware features can be used to better detect and respond to traditional software attacks, such as memory corruption. It is therefore necessary to study in depth the security of software/hardware interfaces, both in terms of attacks and defenses.
The purpose of the SILM workshop is to share experiences, tools, and methodologies to handle security in software/hardware interfaces. On one hand, we need to better assess the security guarantees provided by existing hardware architectures against software attacks, especially attacks against micro-architecture. This can be achieved by identifying new vulnerabilities using reverse engineering, fuzzing or other attack approaches. On the other hand, we also need to propose new architectures offering better resilience against software attacks. Theses architectures should rely on hardware-based security mechanisms to protect the software stack. One of the challenges is to formally specify and verify the security guarantees offered by such architectures.
The goal of this second edition of the SILM workshop is to provide a forum for researchers and practitioners from academia, industry, and government that work on the security of software/hardware interfaces.
Submission Guidelines
There are two categories of submissions:
- Regular papers describing fully developed work and complete results (10 pages, references included, IEEE format)
- Short papers, position papers, industry experience reports, work-in-progress submissions (6 pages, references included, IEEE format)
All papers should be in English and describe original work that has not been published or submitted elsewhere. The submission category should be clearly indicated. All submissions will be fully reviewed by members of the Program Committee. Papers will appear in IEEE Xplore in a companion volume to the regular EuroS&P proceedings.
Papers must be typeset in LaTeX in A4 format (not “US Letter”) using the IEEE conference proceeding template we supply eurosp-2020-template.zip. We suggest you first compile the supplied LaTeX source as is, checking that you obtain the same PDF as the one supplied, and then write your paper into the LaTeX template, replacing the boilerplate text. Please do not use other IEEE templates. Failure to adhere to the page limit and formatting requirements can be grounds for rejection.
List of Topics
- Hardware reverse engineering
- Microcode security analyses
- Software side-channel attacks
- Software attacks against micro-architecture
- Hardware-based security mechanisms
- Software counter-measures against hardware vulnerabilities
- Formal methods applied to the security of software/hardware interfaces
- Hardware enclaves
- Hardware trace mechanisms for security
- OS and VM introspection
Committees
Program Committee
- Pascal Cotret, ENSTA Bretagne
- Damien Couroussé, CEA
- Chris Dalton, HP Labs
- Steven Derrien, University of Rennes 1
- Lucas Davi, University of Duisburg-Essen
- Guy Gogniat, Univ. South Brittany
- Karine Heydemann, LIP6
- Guillaume Hiet, CentraleSupélec/Inria (Chair)
- Jean-Louis Lanet, Inria
- Vianney Lapôtre, Univ. South Brittany
- Cristofaro Mune, Pulse Security
- Yves-Alexis Perez, ANSSI
- Kaveh Razavi, Vrije Universiteit Amsterdam
- Jan Reineke, Saarland University
- Erven Rohou, Inria
- Simon Rokicki, ENS Rennes
- André Seznec, Inria
- Volker Stolz, HVL
- Arnaud Tisserand, CNRS
- Frédéric Tronel, CentraleSupélec/Inria
- Pierre Wilke, CentraleSupélec/Inria
- Yossi Oren, Ben-Gurion University
- Yuval Yarom, University of Adelaide and Data61
Organizing committee
- Guillaume Hiet, CentraleSupélec/Inria
- Frédéric Tronel, CentraleSupélec/Inria
- Jean-Louis Lanet, Inria
Publication
SILM 2020 proceedings will be published by IEEE Xplore in a companion volume to the regular EuroS&P proceedings
Venue
The conference will be held in the Department of Economics (DIEC) of the University of Genova, Genova, Italy.
Contact
All questions about submissions should be emailed to silm-workshop-2020@inria.fr