posted by user: ghiet || 1120 views || tracked by 4 users: [display]

SILM 2020 : SILM 2020 Workshop on Software/Hardware Security

FacebookTwitterLinkedInGoogle

Link: https://silm-workshop-2020.inria.fr/
 
When Sep 11, 2020 - Sep 11, 2020
Where Genova
Submission Deadline May 17, 2020
Notification Due Jun 8, 2020
Final Version Due Jun 22, 2020
Categories    computer security   hardware security   hardware enclaves   side-channel attacks
 

Call For Papers

*******************************************************************************

Call for Paper

SILM Workshop on Software/Hardware Security
https://silm-workshop-2020.inria.fr

September 11th, 2020
Genova, Italy

*******************************************************************************

Co-located with Euro S&P 2020: https://www.ieee-security.org/TC/EuroSP2020/
Venue: Department of Economics (DIEC) of the University of Genova, Genova, Italy

This workshop 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.

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
defences.

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.

==== Topics of interest include, but are not limited to the following.

* 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

==== Important Deadlines:

- Submission (extended): May 17, 2020 - 11:59pm AoE
- Author Notification: June 8, 2020
- Camera Ready Version: June 22, 2020
- Workshop: September 11, 2020

==== Submission and publication

Authors are invited to submit papers formatted according to IEEE conference at
https://easychair.org/conferences/?conf=silm2020

There are two categories of submissions:
1. Regular papers describing fully developed work and complete results
(10 pages, references included, IEEE format)
2. 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.

==== Program Chairs

- Guillaume Hiet, CentraleSupélec/Inria
- Frédéric Tronel, CentraleSupélec/Inria
- Jean-Louis Lanet, Inria

==== Contact

silm-workshop-2020@inria.fr

==== Program Committee

- Pascal Cotret, ENSTA Bretagne
- Damien Couroussé, CEA
- Chris Dalton, HP Labs
- Lucas Davi, University of Duisburg-Essen
- Steven Derrien, University of Rennes 1
- 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

Related Resources

WOOT 2021   15th Workshop on Offensive Technologies
USENIX Security 2021   30th USENIX Security Symposium (Winter Deadline)
SECRYPT 2021   18th International Conference on Security and Cryptography
ICPR-IETBiom-VSaaS 2021   25th ICPR Special Issue on Real-Time Visual Surveillance as-a-Service (VSaaS) for Smart Security Solutions in IET Biometrics
CCNC 2021   IEEE Consumer Communications & Networking Conference
CRITIS 2021   The 16th International Conference on Critical Information Infrastructures Security
SI: Advanced Technology for IE 2022   Special Issue: Secure and Advanced Technology for Intelligent Environments
ICSRS--Scopus & EI 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ACM ASSS 2021   The ACM 1st International Symposium on Advanced Security on Software and Systems
MDPI - Risk Management - Scopus 2021   Special Issue of Journal Applied System Innovation: Risk Management