Cryptographic Hardware (named Myst) that enables cryptographic devices to maintain their security properties in the from presence of malicious hardware components. UnUntrusted Components like prior mitigation efforts tha

Source URL: backdoortolerance.org

• Cryptography
• Computer security
• Computer hardware
• Cyberwarfare
• ISO standards
• Hardware Trojan
• Hardware security module
• Secure cryptoprocessor
• Hardware security
• Trusted Platform Module
• Smart card

Some issues in verifying e-voting systems Mark D. Ryan ● Present-day e-voting offers few security properties [KohnoStubblefieldRubinWallach2004] compared to what is desirable:

Source URL: www.cs.bham.ac.uk

Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA/CNRS Campus de Beaulieu FRennes Cedex

Source URL: people.rennes.inria.fr

Formal Reasoning about Physical Properties of Security Protocols DAVID BASIN, SRDJAN CAPKUN, PATRICK SCHALLER, and BENEDIKT SCHMIDT ETH Zurich, Switzerland Traditional security protocols are mainly concerned with authen

Source URL: www.inf.ethz.ch

Breakout group: How can we design systems with known security properties? NSF/IARPA/NSA Workshop on the Science of Security November 17-18, 2008

Source URL: sos.cs.virginia.edu

Technical Report no. 2004–08 Formalisation and Verification of JAVA CARD Security Properties in Dynamic Logic

Source URL: ceres.hh.se

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice Vincent Cheval, Steve Kremer, Itsaka Rakotonirina Inria & LORIA Abstract—Automated verification has become an essential part

Source URL: anr17-tecap.gforge.inria.fr

Arthur Gervais I am motivated by revolutionizing how society trades and interacts. Bitcoin and the security properties of its blockchain provide technical means to catalyze societal evolution. My resear

Source URL: www.arthurgervais.com

• Cryptocurrencies
• Bitcoin
• Blockchains
• Alternative currencies
• Computing
• Concurrent computing
• Distributed computing
• ETH Zurich
• Ethereum
• RootStock

Abstract of “Static Analyses of Cryptographic Protocols” by Jay McCarthy, Ph.D., Brown University, May 2009 Most protocol analyses only address security properties. However, other properties are important and can inc

Source URL: jeapostrophe.github.io

Analysis of NORX: Investigating Differential and Rotational Properties Jean-Philippe Aumasson1 , Philipp Jovanovic2 , and Samuel Neves3 1 Kudelski Security, Switzerland

Source URL: eprint.iacr.org