E M S C B – Milestone No. I Turaya.Crypt – Secure Linux Hard-Disk Encryption DESIGN SPECIFICATION based on European Multilaterally Secure Computing Base (EMSCB)

Source URL: www.emscb.de

• Cryptography
• Disk encryption
• Cryptographic software
• Dm-crypt
• Symmetric-key algorithm
• Comparison of disk encryption software
• AES implementations

One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation Jan Camenisch1 , Liqun Chen2 , Manu Drijvers1,3 , Anja Lehmann1 , David Novick4 , and Rainer Urian5 1 IBM Research – Zurich

Source URL: eprint.iacr.org

• Cryptography
• Computer security
• Direct Anonymous Attestation
• Trusted Platform Module
• Trusted Computing Group
• Trusted Computing
• Proof of knowledge
• FiatShamir heuristic
• Non-interactive zero-knowledge proof
• Zero-knowledge proof

CS 294 – Secure Computation February 16 and 18, 2016 Lecture 9 and 10: Malicious Security - GMW Compiler and Cut and Choose, OT Extension

Source URL: people.eecs.berkeley.edu

• Cryptographic protocols
• Electromagnetism
• Garbled circuit
• Secure multi-party computation
• IP
• Theory of computation
• NC
• Electronic circuit
• Applied mathematics
• Commitment scheme

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

Source URL: www.lenders.ch

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Internet protocols
• Traceroute
• Hop
• Network topology
• Forwarding plane
• Computer network

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier◦, Petar Tsankov◦, Vincent Lenders, Laurent Vanbever◦, Martin Vechev◦ ◦ ETH Zürich,

Source URL: nsg.romeier.ch

• Electromagnetism
• Transistortransistor logic
• Topology
• Network topology
• Computer network
• Electrical engineering
• Electronics

Portable Identity OVERVIEW Portable Identity is the right and responsibility of each of us to create, control, and carry the important pieces of information that define who we are in a private, secure, and trusted manner

Source URL: www.globalid.net

• Identity management
• Computer access control
• Identity
• Identity document
• Namespace

Poster: Secure Computations of Trigonometric and Inverse Trigonometric Functions Fattaneh Bayatbabolghani∗ , Marina Blanton† , Mehrdad Aliasgari‡ and Michael Goodrich§ ∗ Computer Science and Engineering, Univer

Source URL: www.ieee-security.org

• Mathematical analysis
• Special functions
• Mathematics
• Trigonometry
• Angle
• Dimensionless numbers
• Ratios
• Analytic functions
• Trigonometric functions
• Sine
• Taylor series
• Polynomial

Poster: IDE Plugins for Secure Coding Aniqua Z. Baset University of Utah Abstract—Many vulnerabilities in products and systems could

Source URL: www.ieee-security.org

• Software
• Computing
• Computer programming
• Integrated development environments
• JetBrains
• SonarQube
• IntelliJ IDEA
• FindBugs
• Eclipse
• Java
• NetBeans
• Cppcheck

Optical Disc Archive Cartridge Keep It Simple, Secure & Long-term Reliable, Durable mass storage Optical media A variety of high capacity media cartridges are available for the Optical Disc Archive System, From 300GB

Source URL: www.teradactyl.com

Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Programming language theory
• Type theory
• Formal methods
• Functional languages
• Procedural programming languages
• Data types
• Type system
• F Sharp
• HindleyMilner type system
• First-order logic