Why we need to tamper-proof our society Data manipulation poses a - PowerPoint PPT Presentation

Mar 25, 2023 •475 likes •582 views

Why we need to tamper-proof our society Data manipulation poses a more systemic threat than theft or disruption Risks Command and Control Systems Military Logistics Financial systems Political institutions Mitigation Risk:

Why we need to tamper-proof our society Data manipulation poses a more systemic threat than theft or disruption Risks • Command and Control Systems • Military Logistics • Financial systems • Political institutions Mitigation
Risk: Command & Control Systems
Risk: Command & Control Systems Indian Command & Control Pakistani Command & Control Operations Center Operations Center
Risk: Military Logistics 90% of military logistics is coordinated via non-military systems US Military Fuel Tanker Being Unloaded from Commercial Ship
Risk: Financial Systems Integrity of NASDAQ OMX data was a major concern in early 2011 NASDAQ Transaction Systems
Risk: Political Institutions Research is pretty convincing that manipulation of select systems is plausible
Mitigation: Tech Considerations Focus on ensuring integrity of critical systems Assume credentials will be compromised Assume air gaping won’t completely mitigate risks Immutable data stores Distributed ledgers
Mitigation: Policy Questions How do we incentivize greater investments in integrity-guaranteeing solutions? How do we deter manipulation of critical systems?
Discussion: How do we make ourselves a harder target? From a Russian discussion forum…

Recommend

Servers can't be trusted, and thanks to tamper-proof Servers can't be trusted, and thanks to

Servers can't be trusted, and thanks to tamper-proof Servers can't be trusted, and thanks to tamper-proof journals EteSync doesn't need to! journals EteSync doesn't need to! stosb.com/talks Tom Hacohen tom@stosb.com FOSDEM 2018 @TomHacohen

498 views • 30 slides

AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing G. Edward Suh, Dwaine

AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing G. Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas Massachusetts Institute of Technology L C S Cases for Physical Security Applications

520 views • 23 slides

Negative Results in Proof Theory Workshop 2018 The Proof Society Ghent, September 6, 2018

Negative Results in Proof Theory Workshop 2018 The Proof Society Ghent, September 6, 2018 Rosalie Iemhoff Utrecht University, the Netherlands 1 / 21 elementary questions Proof systems are developed to . . . 2 / 21 elementary questions

1.42k views • 113 slides

http://www.cl.cam.ac.uk/~mgk25/sc99-tamper[-slides].pdf Classes of Attacks on Security Modules

Design Principles for Tamper-Resistant Smartcard Processors Oliver Kmmerling Markus G. Kuhn ADSR Computer Laboratory http://www.cl.cam.ac.uk/~mgk25/sc99-tamper[-slides].pdf Classes of Attacks on Security Modules Microprobing Open the

465 views • 22 slides

Efficient Data Structures for Tamper-Evident Logging Scott A. Crosby Dan S. Wallach Rice

Efficient Data Structures for Tamper-Evident Logging Scott A. Crosby Dan S. Wallach Rice University Everyone has logs Tamper evident solutions Current commercial solutions Write only hardware appliances Security depends on

1.32k views • 82 slides

PROOF of the Pudding in Canada PROOF of the Pudding in Canada 2010 ITMAT International Symposium

PROOF of the Pudding in Canada PROOF of the Pudding in Canada 2010 ITMAT International Symposium Wednesday, October 27, 2010 Bruce McManus PROOF Centre Background PROOF Centre Background Who are we? Not for profit Society established

916 views • 38 slides

2/13/2014 What is Tamper Resistance? Resistance to tampering the device by either normal

2/13/2014 What is Tamper Resistance? Resistance to tampering the device by either normal users or systems or others with physical Physical Attacks and Tamper Resistance access to it

449 views • 11 slides

Tamper Resistance - a Cautionary Note Ross Anderson Markus Kuhn University of Cambridge

Tamper Resistance - a Cautionary Note Ross Anderson Markus Kuhn University of Cambridge University of Erlangen/ Computer Laboratory Purdue University Applications of Tamper Resistant Modules Security of cryptographic applications is based

149 views • 12 slides

3515ICT Theory of Computation Some sample proofs 4-0 Proof types 1. Proof

Griffith University 3515ICT Theory of Computation Some sample proofs 4-0 Proof types 1. Proof by construction 2. Proof by equivalence 3. Proof by contradiction 4. Proof by case analysis 5. Proof by induction

549 views • 11 slides

Propositional proof systems and bounded arithmetic for logspace and nondeterministic logspace

Propositional proof systems and bounded arithmetic for logspace and nondeterministic logspace Sam Buss U.C. San Diego Virtual Seminar Proof Society proofsociety.org October 7, 2020 includes joint work with Anupam Das and Alexander Knop

367 views • 25 slides

TAMPER EVIDENT BYPASSES BY MOS AND BOO THE PACKAGING COUNCIL OF AUSTRALIA Packaging which

TAMPER EVIDENT BYPASSES BY MOS AND BOO THE PACKAGING COUNCIL OF AUSTRALIA Packaging which possesses a barrier to entry which, if breached or missing, will provide visible evidence to consumers that tampering had occurred MESOPOTAMIAN

516 views • 30 slides

RELEASE!!!!! 3.0 .0 DARTLESS SEAL CHECK US OUT AT WWW.NODARTSYSTEM.COM THIS NEW 3.0 SEAL IS

NEW PRODUCT RELEASE!!!!! 3.0 .0 DARTLESS SEAL CHECK US OUT AT WWW.NODARTSYSTEM.COM THIS NEW 3.0 SEAL IS NOW MORE VERISTILE !!! With The New Round Ribbed Technology It Give You The Most Advanced Tamper Proof Design In The Industry

671 views • 5 slides

A Mathematical Proof When referring to a proof in logic we usually mean: 1. A sequence of

A Mathematical Proof When referring to a proof in logic we usually mean: 1. A sequence of statements. 2. Based on axioms. 3. Each statement is derived via the derivation rules. Zero Knowledge Protocols 4. The proof is fixed, i.e, in any time,

642 views • 14 slides

Anomaly Detection Algorithms for Malware Traffic Analysis using Tamper Resistant Features Dr.

Anomaly Detection Algorithms for Malware Traffic Analysis using Tamper Resistant Features Dr. Patrick McDaniel Berkay Celik Fall 2015 Introduction Motivation Related Work Data Approach Experimental Results Comparison

391 views • 25 slides

Non-equilibrium phenomena in spinor Bose gases Dan S tamper-Kurn University of California,

Non-equilibrium phenomena in spinor Bose gases Dan S tamper-Kurn University of California, Berkeley outline Introductory material Interactions under rotational symmetry Energy scales Ground states S pin dynamics microscopic spin mixing

1.03k views • 63 slides

Tamper-resistant creation of integrity tokens for trustworthy communication in cyber-physical

Chair of Network Architectures and Services Department of Informatics Technical University of Munich Tamper-resistant creation of integrity tokens for trustworthy communication in cyber-physical systems Intermediate talk for the Masters

740 views • 25 slides

New Insights to Key Derivation for Tamper-Evident Physical Unclonable Functions (PUFs) Vincent

New Insights to Key Derivation for Tamper-Evident Physical Unclonable Functions (PUFs) Vincent Immler, Karthik Uppund Conference on Cryptographic Hardware and Embedded Systems, Atlanta, Aug 26, 2019 PUF in a Nutshell: Biometrics of Objects PUF

403 views • 21 slides

Strong Authentication without Tamper-Resistant Hardware and Application to Federated Identities

Strong Authentication without Tamper-Resistant Hardware and Application to Federated Identities Zhenfeng Zhang , Yuchen Wang , Kang Yang Institute of Software, Chinese Academy of Sciences; The Joint Academy of Blockchain

869 views • 25 slides

VoteBox: a verifiable, tamper-evident electronic voting system

VoteBox: a verifiable, tamper-evident electronic voting system Daniel R. Sandler Rice University

1.38k views • 86 slides

MA Final Talk: Tamper-Evident Publication of Internet Measurements Max Helm Advisors: Oliver

Chair of Network Architectures and Services Department of Informatics Technical University of Munich MA Final Talk: Tamper-Evident Publication of Internet Measurements Max Helm Advisors: Oliver Gasser, Benjamin Hof, Quirin Scheitle July 16,

423 views • 26 slides

T.A.A.G Tamper Automated Alert Gadget Final Presentation Group 7 Funding Aiman Salih EE Dr.

T.A.A.G Tamper Automated Alert Gadget Final Presentation Group 7 Funding Aiman Salih EE Dr. Yuan, Co-Director of MIST Daniel Gibney CpE research center at UCF. Leaphar Castro EE Motivation With the ever expanding use of IoT sensor

740 views • 46 slides

5/24/10 Modern Hardware is Complex Modern systems built on layers of hardware Tamper Evident

5/24/10 Modern Hardware is Complex Modern systems built on layers of hardware Tamper Evident Microprocessors Applications OS Hypervisor Motherboard/ Slave Chips Adam Waksman CPU Simha Sethumadhavan Complexity increases risk of

340 views • 4 slides

ANTI-TAMPER APPLICATIONS J. T odd McDonald, Y ong C. Kim, Daniel Koranek Dr. Jeffrey Todd

DETERMINISTIC VARIATION FOR ANTI-TAMPER APPLICATIONS J. T odd McDonald, Y ong C. Kim, Daniel Koranek Dr. Jeffrey Todd McDonald, Ph.D. Center for Forensics, Information Technology, and Security School of Computer and Information Sciences

417 views • 10 slides

Secure Physical Enclosures from Covers with Tamper-Resistance Vincent Immler, Johannes Obermaier,

Secure Physical Enclosures from Covers with Tamper-Resistance Vincent Immler, Johannes Obermaier, Kuan Kuan Ng, Fei Xiang Ke, JinYu Lee, Yak Peng Lim, Wei Koon Oh, Keng Hoong Wee, Georg Sigl Conference on Cryptographic Hardware and Embedded

410 views • 29 slides