Tubidy
    A Secure and Formally Verified Linux KVM Hypervisor

    A Secure and Formally Verified Linux KVM Hypervisor

    00:58 |
    Download MP3

    Related Videos

    Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives 20:01

    Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives

    Enabling Autonomous IoT Device Pairing using Different Sensor Types 21:32

    Enabling Autonomous IoT Device Pairing using Different Sensor Types

    Opening Remarks of the 39th IEEE Symposium on Security & Privacy 18:25

    Opening Remarks of the 39th IEEE Symposium on Security & Privacy

    Redactable Blockchain in the Permissionless Setting 20:11

    Redactable Blockchain in the Permissionless Setting

    IEEE S&P 2019—40th IEEE Symposium on Security and Privacy—Closing Remarks 11:42

    IEEE S&P 2019—40th IEEE Symposium on Security and Privacy—Closing Remarks

    IVD: Automatic Learning and Enforcement of Authorization Rules in Online Social Networks 17:35

    IVD: Automatic Learning and Enforcement of Authorization Rules in Online Social Networks

    Double-efficient zkSNARKs Without Trusted Setup 21:02

    Double-efficient zkSNARKs Without Trusted Setup

    IEEE S&P 2019—Opening Remarks—General Chair 11:34

    IEEE S&P 2019—Opening Remarks—General Chair

    Opening Remarks of the 2016 IEEE Symposium on Security & Privacy 9:32

    Opening Remarks of the 2016 IEEE Symposium on Security & Privacy

    Opening Remarks of the 2016 IEEE Symposium on Security & Privacy 9:32

    Opening Remarks of the 2016 IEEE Symposium on Security & Privacy

    Spectre Attacks Exploiting Speculative Execution 21:11

    Spectre Attacks Exploiting Speculative Execution

    Membership Inference Attacks against Machine Learning Models 20:15

    Membership Inference Attacks against Machine Learning Models

    Comprehensive Privacy Analysis of Deep Learning 16:34

    Comprehensive Privacy Analysis of Deep Learning

    Membership Inference Attacks against Adversarially Robust Deep Learning Models 26:54

    Membership Inference Attacks against Adversarially Robust Deep Learning Models

    665 Obelix Mitigating Side Channels Through Dynamic Obfuscation Jan 13:38

    665 Obelix Mitigating Side Channels Through Dynamic Obfuscation Jan

    Opening Remarks of the 39th IEEE Symposium on Security & Privacy 18:26

    Opening Remarks of the 39th IEEE Symposium on Security & Privacy

    Security of the J-PAKE Password-Authenticated Key Exchange Protocol 16:55

    Security of the J-PAKE Password-Authenticated Key Exchange Protocol

    Efficient Evaluation of Activation Functions over Encrypted Data 22:57

    Efficient Evaluation of Activation Functions over Encrypted Data

    Opening Remarks of the 2015 IEEE Symposium on Security & Privacy 6:20

    Opening Remarks of the 2015 IEEE Symposium on Security & Privacy

    Implementing and Proving the TLS 1.3 Record Layer 20:45

    Implementing and Proving the TLS 1.3 Record Layer