Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call SpecializationWill BlairFred Araujoet al.2024S&P 2024
AccShield: A New Trusted Execution Environment with Machine-Learning AcceleratorsWei RenWilliam Kozlowskiet al.2023DAC 2023
DOSA: Organic Compilation for Neural Network Inference on Distributed FPGAsBurkhard RingleinFrancois Abelet al.2023EDGE 2023
FedGen: Generalizable Federated Learning for Sequential DataPraveen VenkateswaranVatche Isahagianet al.2023CLOUD 2023
Middleware for Quantum: An orchestration of hybrid quantum-classical systemsIskandar SitdikovDavid Garcia Valinaset al.2023QSW 2023
New algorithms for the Deuring correspondence: Towards practical and secure SQISign signaturesLuca De FeoAntonin Lerouxet al.2023Eurocrypt 2023
RAPID: Real-Time Alert Investigation with Context-aware Prioritization for Efficient Threat DiscoveryYushan LiuXiaokui Shuet al.2022ACSAC 2022