Much attention has been devoted to verifying software integrity of remote embedded (IoT)
devices. Many techniques, with different assumptions and security guarantees, have been …

A lease is an important primitive for building distributed protocols, and it is ubiquitously
employed in distributed systems. However, the scope of the classic lease abstraction is …

Time Distribution Networks (TDNs) evolve as new technologies occur to ensure more
accurate, reliable, and secure timing information. These networks typically exploit several …

As many types of IoT devices worm their way into numerous settings and many aspects of
our daily lives, awareness of their presence and functionality becomes a source of major …

Federated Learning and Analytics (FLA) have seen widespread adoption by technology
platforms for processing sensitive on-device data. However, basic FLA systems have privacy …

We propose Remote Attestation with TOCTOU Avoidance (RATA): a provably secure
approach to address the RA TOCTOU problem. With RATA, even malware that erases itself …

Blockchain technology is heralded for its ability to provide transparent and immutable audit
trails for data shared among semi-trusted parties. With the addition of smart contracts …

In state machine replication (SMR), preventing reordering attacks by ensuring a high degree
of fairness when ordering commands requires that clients broadcast their commands to all …

In Intelligent Transport Systems, secure communication between vehicles, infrastructure,
and other road users is critical to maintain road safety. This includes the revocation of …

Time is used in secure systems to validate security properties. Consequently, it is vital to
protect the integrity of time information. Intel SGX enables building secure applications …