posted by user: AymerickSavary || 1645 views || tracked by 2 users: [display]

PROOFS 2012 : PROOFS: Security Proofs for Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://www.proofs-workshop.org/index.html
 
When Sep 13, 2012 - Sep 13, 2012
Where Leuven, Belgium
Submission Deadline May 6, 2012
Notification Due Jul 1, 2012
Final Version Due Jul 15, 2012
 

Call For Papers

[Empty]

Related Resources

TAP 2024   18th International Conference on Tests and Proofs
LAJC 2024   Latin-American Journal of Computing
ICISE 2024   ACM--2024 9th International Conference on Information Systems Engineering (ICISE 2024)
NordSec 2024   The 29th Nordic Conference on Secure IT systems (NordSec) 2024
ZKDAPPS 2024   1st IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
CEVVE 2024   2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
USENIX Security 2025   The 34th USENIX Security Symposium - Cycle 2