posted by user: sadegh_rk || 234 views || tracked by 1 users: [display]

PAVeTrust 2022 : 2nd Workshop on Program Analysis and Verification on Trusted Platforms

FacebookTwitterLinkedInGoogle

Link: https://www.acsac.org/2022/workshops/pavetrust/
 
When Dec 6, 2022 - Dec 6, 2022
Where Austin, TX, United States
Submission Deadline Oct 14, 2022
Notification Due Nov 20, 2022
Final Version Due Nov 29, 2022
Categories    formal methods   cybersecurity
 

Call For Papers

Trusted Execution Environments (TEEs) are now commonplace with implementations like Intel SGX and AMD SEV widely available. This technology offers new guarantees, such as integrity and confidentiality for running applications, that are not typically available in (untrusted) conventional platforms. Therefore, TEEs are being rapidly adopted by security-focused companies intending to harden their systems to provide such guarantees.

This workshop intends to explore the interplay between TEE-based implementations of a Trusted Third Party (TTP) and program analysis and system verification. It should provide a venue where academics and practitioners interested in these topics come together to debate the connection between these two areas. We are especially interested in promoting:

(A) the application of formal methods, and more specifically of program analysis and system verification, to the specification and/or analysis of the trusted stack executing these TEE-hardened applications - this stack might include CPU microcode, firmware code, Operating System (OS) code, protocols for provisioning and attestation, and the application itself - and

(B) innovative applications of TEEs to execute formal methods technologies (such as program analysers/verifiers).

While the frameworks proposed in the context of (A) should help the adoption of TEE-based technologies by increasing the community's confidence on the security of TEE-based systems, the applications arising in the context of (B) should introduce analysis frameworks that enjoy non-conventional properties such as confidentiality of the analysed systems and trustworthiness of the analysis outcome. It should be possible to deliver object code to users who know that the corresponding sources have passed agreed verification procedures, without the users seeing the sources or having to have trust in other parties.

=================
Submission Guidelines
=================

We invite the submission of short papers presenting original work on topics (A) and (B) above. The accepted papers will have to be presented by one of the authors at the workshop. Papers should be submitted as a PDF file of a maximum of 8 2-column pages, excluding well-marked references and appendices limited to 3 pages. Submissions must be generated using the 2-column ACM acmart template available at https://www.acm.org/publications/proceedings-template, using the [sigconf, anonymous] options. All submissions must be anonymous (i.e., papers should not contain author names or affiliations, or obvious citations).

Related Resources

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
EICC 2023   European Interdisciplinary Cybersecurity Conference (EICC 2023)
SI on AdCTI 2022   Special Issue on Advances in Cyber Threat Intelligence 2022, Security and Communication Networks, Wiley & Hindawi
FAVPQC 2022   International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
SI on ATD&IS II 2023   Special Issue on Advanced Technologies in Data and Information Security II, Applied Sciences, MDPI
ICST 2023   16th IEEE International Conference on Software Testing, Verification and Validation
ESOP 2023   32st European Symposium on Programming
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,