Publications

594 results for Security

Verifiable Verification in Cryptographic Protocols
- - Marc Fischlin
  - Felix Günther
- 2023
- CCS 2023
Efficient AES-GCM decryption under Homomorphic Encryption
- - Ehud Aharoni
  - Nir Drucker
  - et al.
- 2023
- CCS 2023
Certified Robustness of Static Deep Learning-based Malware Detectors against Patch and Append Attacks
- - Daniel Gibert
  - Giulio Zizzo
  - et al.
- 2023
- CCS 2023
Tutorial-HEPack4ML '23: Advanced HE Packing Methods with Applications to ML
- - Ehud Aharoni
  - Nir Drucker
  - et al.
- 2023
- CCS 2023
The Cost of Flexibility and Security in Cloud-Based HPC - A Case Study Running EDA Workloads With Confidential Computing Technology
- - Mengmei Ye
  - Derren Dunn
- 2023
- SC 2023
Sunfish: An Open Centralized Composable HPC Management Framework
- - Phil Cayton
  - Michael Aguilar
  - et al.
- 2023
- SC 2023
Training Foundation Model Workloads on Kubernetes at Scale With MCAD
- - Olivier Tardieu
  - Abhishek Malvankar
- 2023
- K8SAIHPCDAY 2023
Easy plane magnetic tunnel junction as an entropy source for computing
- - Jonathan Sun
  - Christopher Safranski
  - et al.
- 2023
- MMM 2023
Workshop on Zero Trust Hardware Architectures (ZTHA)
- - Sandhya Koteshwara
  - Mengmei Ye
  - et al.
- 2023
- ICCAD 2023
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- - Wojciech Ozga
  - Guerney Hunt
  - et al.
- 2023
- MICRO 2023