EasyChair Smart SlideUser guide
Conference: FCS'22 (Workshop on Foundations of Computer Security 2022)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Unveiling Security Through Obscurity Approach of Intel TDX Remote Attestation

Unveiling Security Through Obscurity Approach of Intel TDX Remote Attestation

Muhammad Usama Sardar

Pi_RA: a Pi-Calculus for Verifying Protocols That Use Remote Attestation

Pi_RA: a Pi-Calculus for Verifying Protocols That Use Remote Attestation

Emiel Lanckriet, Matteo Busi and Dominique Devriese

VeNuS: Neural Network Robustness Specifications via Verifier-Guided Optimization

VeNuS: Neural Network Robustness Specifications via Verifier-Guided Optimization

Anan Kabaha and Dana Drachsler Cohen

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair