Friend or Foe: Belady Pursuers and Randomized Secure Last-level Caches

Container Honeypots: Collecting Threat Intelligence to Testing Software Vulnerabilities

Security Structure of Quantum Networks: Quantum-safe and Quantum-resistant Regions

Software Design for a Rich, Robust and Configurable Access Control in Complex Multi-User Networked Application

Adversarial Machine Learning under Perturbation of a Subset of Training Instances

Data Brokering Practices and Data Trustworthiness: A Policy Evaluation

Efficient Automated Synthesis of Heart Pacemaker from Logical Specifications

Game Theoretic Studies of Trust for Multiagent Systems

Trust and Public AI: A Policy Analysis

Vajra: Endpoints security solution

Physical Unclonable Functions for Smart Applications

Explaining Decision Making in (Semi) Autonomous Vehicles

Certified Information Flow Security

Game theoretic viewpoint of communication in the presence of an adversary

Information in Socio-Technical Systems

End Point Detection and Response for Linux Systems

Configurable Access Control Policy Implementation for Complex Online Applications

Differential Privacy

MEGA-ACE

Complexity Theory and Cryptography

mpC: A Programming Language for Multi-Party Computation

Secure Multi-Party Computation

Improving computation and reducing confirmation latency in Proof-of-Work blockchains

IoT Security