Other
(Germany)
ACM ASIA Conference on Computer and Communications Security (AsiaCCS)
ACM Conference on Computer and Communications Security (CCS)
ACM Conference on Computer and Communications Security (CCS)
The ACM Symposium on Access Control Models and Technologies (SACMAT)
ACM Conference on Computer and Communications Security (CCS)
ISCA ACM International Symposium on Computer Architecture (ISCA)
The Logic of Software. A Tasting Menu of Formal Method
IEEE/ACM International Symposium on Microarchitecture (MICRO)
Usenix Security Symposium (USENIX-Security)
IEEE Computer Security Foundations Symposium (CSF)