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…

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

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

519 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

670 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

GLSL: OpenGL Shading Language Stefan Bruckner GLSL: Intro OpenGL Shading Language (GLSL)

GLSL: OpenGL Shading Language Stefan Bruckner GLSL: Intro OpenGL Shading Language (GLSL) Current version 4.2 Specification: http://www.opengl.org/documentation/specs/ High level shading language Compiles directly to the available GLSL

600 views • 56 slides

1 & 2 Samuel Series Lesson #109 October 24, 2017 Dean Bible Ministries

1 & 2 Samuel Series Lesson #109 October 24, 2017 Dean Bible Ministries www.deanbibleministries.org Dr. Robert L. Dean, Jr. G OD A NSWERS P RAYER ! P SALM 18:715 James 4:2, Yet you do not have because you do not ask. James 4:3,

858 views • 46 slides

Local price competition: Evidence from the Czech retail gasoline market Michal Kvasnika,

Local price competition: Evidence from the Czech retail gasoline market Michal Kvasnika, Ondej Krl, Rostislav Stank, ESF MU 19.2.2015 Goal Explore how local competition affects the retail gasoline prices in the Czech Republic.

423 views • 25 slides

OpenMath and SMT-LIB James Davenport, Matthew England, Roberto Sebastiani & Patrick Trentin 1

OpenMath and SMT-LIB James Davenport, Matthew England, Roberto Sebastiani & Patrick Trentin 1 Universities of Bath/Coventry/Trento/Trento J.H.Davenport@bath.ac.uk 17 July 2017 1 Thanks to EU H2020-FETOPEN-2016-2017-CSA project SC 2 (712689)

417 views • 18 slides

Ubuntu Touch Internals Embedded Linux Conference 2014 Ricardo Salveti de Araujo

Ubuntu Touch Internals Embedded Linux Conference 2014 Ricardo Salveti de Araujo <ricardo.salveti@canonical.com> IRC: rsalveti Ubuntu Engineering Agenda Background Challenges Building a new Unity Reusing Android drivers

409 views • 25 slides

KOPY GOLDFIELDS AB A thorny path of a public Junior Gold Explora@on

KOPY GOLDFIELDS AB A thorny path of a public Junior Gold Explora@on Company in Russia MINEX, London, December 2, 2013 NASDAQ OMX First North: KOPY Disclaimer -

382 views • 16 slides

Were All Designers @cattsmall @cattsmall Im Catt Small! Product Designer at SoundCloud

Were All Designers @cattsmall @cattsmall Im Catt Small! Product Designer at SoundCloud Previously worked with companies such as Bedrocket, NASDAQ OMX, & ParksByNature Game artist & programmer Event Organizer for

596 views • 38 slides

Sverker Martin-Lf, Chairman April 15, 2015 Sverker Martin- Lfs slides in connection with

Sverker Martin- Lfs slides in connection with speech at Annual General Meeting 2015 Sverker Martin-Lf, Chairman April 15, 2015 Sverker Martin- Lfs slides in connection with speech at AGM 2015 1 Sverker Martin-Lf Chairman April

380 views • 7 slides