Published in Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles

Published in Proceedings of the 2nd Workshop on Workflows in Distributed Environments

Published in Proceedings of the 19th International Conference on Availability, Reliability and Security

Published in Proceedings of the 19th International Conference on Availability, Reliability and Security

Published in Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security

Published in Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security

Published in Proceedings of the Great Lakes Symposium on VLSI 2024

by Antognazza, Francesco, Barenghi, Alessandro, Pelosi, Gerardo, Susella, Ruggero
Published in 2023 28th Asia and South Pacific Design Automation Conference (ASP-DAC) (16.01.2023)

Published in Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs