towards scalable soc security validation
play

Towards Scalable SoC Security Validation Sujit Kumar Muduli Indian - PowerPoint PPT Presentation

Oct 07, 2023 β€’138 likes β€’176 views

Towards Scalable SoC Security Validation Sujit Kumar Muduli Indian Institute of Technology, Kanpur Objective Proving confidentiality and integrity show execution traces are indistinguishable to untrusted entity Instance 1 Instance 2 AES

  1. Towards Scalable SoC Security Validation Sujit Kumar Muduli Indian Institute of Technology, Kanpur

  2. Objective Proving confidentiality and integrity show execution traces are indistinguishable to untrusted entity Instance 1 Instance 2 AES Engine AES Engine ROM ROM 𝑫𝑳𝒇𝒛 πŸ‘ 𝑫𝑳𝒇𝒛 𝟐 RAM RAM Host Host 𝑱 𝑱 MMU MMU Interface Interface 𝑇𝑗𝑛 (𝐽, 𝐷𝐿𝑓𝑧 6 ) 𝒔 = ( 𝑏 ... 𝝂𝑫 𝝂𝑫 Access Access control control β‰  "#$ % ... 𝑇𝑗𝑛 (𝐽, 𝐷𝐿𝑓𝑧 8 ) 𝒔 = ( 𝑐 (Not secure) Indistinguishability Test Goal : automated technique for finding 2-safety hyperproperty violations

  3. Challenges System Security 1. Specifying properties for end-to-end security. Model Specification 2. Specification and Model must capture adversarial effects. Instrumented 3. Scalability issue in verification process. RTL Test input Simulation Engine Whitebox Symbolic simulation β€’ Fuzzing β€’ Verilog simulation Coverage info Trace Analyzer security violation A semi-formal technique to find 2-safety violations

Recommend

Scalable Data Analytics Pipeline for Real-Time Attack Detection; Design, Validation, and

Scalable Data Analytics Pipeline for Real-Time Attack Detection; Design, Validation, and

Scalable Data Analytics Pipeline for Real-Time Attack Detection; Design, Validation, and Deployment in a Honeypot Environment Eric Badger Masters Student Computer Engineering 1 Overview Introduction/Motivation Challenges

508 views β€’ 30 slides
Scalable Data Analytics Pipeline for Validation of Real-Time Attack Detection Eric Badger , Phuong

Scalable Data Analytics Pipeline for Validation of Real-Time Attack Detection Eric Badger , Phuong

Scalable Data Analytics Pipeline for Validation of Real-Time Attack Detection Eric Badger , Phuong Cao, Alex Withers, Adam Slagell, Zbigniew Kalbarczyk, Ravi Iyer University of Illinois Urbana-Champaign 1 Overview Introduction/Motivation

283 views β€’ 24 slides
Scalable Translation Validation of Unverified Legacy OS Code Amer Tahat, Sarang Joshi, Pronoy

Scalable Translation Validation of Unverified Legacy OS Code Amer Tahat, Sarang Joshi, Pronoy

Renee 1.0 Scalable Translation Validation of Unverified Legacy OS Code Amer Tahat, Sarang Joshi, Pronoy Gawsamy, Binoy Ravindran Presenter: Amer Tahat System Software Research Group-SSRG Department of Electrical and Computer Engineering

807 views β€’ 33 slides
Scalable and Cost-Effective Model-Based Software Verification and Testing University of

Scalable and Cost-Effective Model-Based Software Verification and Testing University of

Scalable and Cost-Effective Model-Based Software Verification and Testing University of Luxembourg Interdisciplinary Centre for Security, Reliability and Trust Software Verification and Validation Lab (www.svv.lu) May 17th, 2013 University of

1.03k views β€’ 72 slides
Securing the connected world Flexible and scalable embedded security IP Pieter Willems

Securing the connected world Flexible and scalable embedded security IP Pieter Willems

Securing the connected world Flexible and scalable embedded security IP Pieter Willems pieter.willems@silexinsight.com V2.0 2019 Overview Silex Insight Introduction Embedded security markets and applications Security

590 views β€’ 15 slides
A Scalable Approach to Attack Graph Generation By Ou, Boyer, McQueen Presented By: Philip Koshy

A Scalable Approach to Attack Graph Generation By Ou, Boyer, McQueen Presented By: Philip Koshy

Systems and Internet Infrastructure Security Network and Security Research Center Department of Computer Science and Engineering Pennsylvania State University, University Park PA A Scalable Approach to Attack Graph Generation By Ou, Boyer,

591 views β€’ 33 slides
Form Validation 1 CS380 What is form validation? 2 validation: ensuring that form's values

Form Validation 1 CS380 What is form validation? 2 validation: ensuring that form's values

Form Validation 1 CS380 What is form validation? 2 validation: ensuring that form's values are correct some types of validation: preventing blank values (email address) ensuring the type of values integer, real number,

284 views β€’ 24 slides
Data Mining II Model Validation Heiko Paulheim Why Model Validation? We have seen so far

Data Mining II Model Validation Heiko Paulheim Why Model Validation? We have seen so far

Data Mining II Model Validation Heiko Paulheim Why Model Validation? We have seen so far Various metrics (e.g., accuracy, F-measure, RMSE, ) Evaluation protocol setups Split Validation Cross Validation Special

1.04k views β€’ 55 slides
Validation of a Security Metamodel for Development of Cloud Applications Marcos Arjona - Carolina

Validation of a Security Metamodel for Development of Cloud Applications Marcos Arjona - Carolina

Validation of a Security Metamodel for Development of Cloud Applications Marcos Arjona - Carolina Dania - Marina Egea - Antonio Ma na 14th International Workshop on OCL and Textual Modeling Applications and Case Studies (OCL 2014) September

462 views β€’ 19 slides
Chapter 5 Analysis: Four Level for Validation Vis/Visual Analytics, Chap 5 Validation 1 CGGM

Chapter 5 Analysis: Four Level for Validation Vis/Visual Analytics, Chap 5 Validation 1 CGGM

Chapter 5 Analysis: Four Level for Validation Vis/Visual Analytics, Chap 5 Validation 1 CGGM Lab., CS Dept., NCTU Jung Hong Chuang Contents Why Validate? Validation Approaches Domain Why is Validation Abstraction

724 views β€’ 47 slides
Caradoc: a Pragmatic Approach to PDF Parsing and Validation IEEE Security & Privacy LangSec

Caradoc: a Pragmatic Approach to PDF Parsing and Validation IEEE Security & Privacy LangSec

Caradoc: a Pragmatic Approach to PDF Parsing and Validation IEEE Security & Privacy LangSec Workshop 2016 Guillaume Endignoux Olivier Levillain Jean-Yves Migeon cole Polytechnique, France EPFL, Switzerland ANSSI, France Thursday 26 th

842 views β€’ 35 slides
The Userland Exploits of Pangu 8 @PanguTeam Outline Introduction New Security

The Userland Exploits of Pangu 8 @PanguTeam Outline Introduction New Security

The Userland Exploits of Pangu 8 @PanguTeam Outline Introduction New Security Enhancements in iOS 8 Pangu 8 Overview Bypass Team ID Validation by Teasing the Trust-Cache Bypass Code Signing Validation by Segment Overlapping

821 views β€’ 59 slides
An approach to Separation of Duties validation for MILS security configurations Semen Kort,

An approach to Separation of Duties validation for MILS security configurations Semen Kort,

An approach to Separation of Duties validation for MILS security configurations Semen Kort, Dmitry Kulagin, Ekaterina Rudina Future Technologies Kaspersky Lab The objectives Discover the Describe how the Describe the

445 views β€’ 28 slides
Capital Quality Validation Webinar Sept. 17, 2020 Agenda Validation Overview

Capital Quality Validation Webinar Sept. 17, 2020 Agenda Validation Overview

Capital Quality Validation Webinar Sept. 17, 2020 Agenda Validation Overview Validation Timeline Authorized Representative Validation Process How to Log In to QuickBase How to Reset Your Password How to

451 views β€’ 43 slides
Security of Cyber-Physical Systems From Theory to Testbeds & Validation Joaquin Garcia-Alfaro

Security of Cyber-Physical Systems From Theory to Testbeds & Validation Joaquin Garcia-Alfaro

Security of Cyber-Physical Systems From Theory to Testbeds & Validation Joaquin Garcia-Alfaro CNRS SAMOVAR Lab & Tlcom SudParis Universit Paris-Saclay CyberICPS, ESORICS 2016, September 27, 2016 Context Dynamic Risk Approaches

891 views β€’ 59 slides
N etwork safeguards are the first protec- tion barrier of IT sys- tem resources against

N etwork safeguards are the first protec- tion barrier of IT sys- tem resources against

ISSA Journal | October 2007 ISSA The Global Voice of Information Security The Principles of Network Security Design By Mariusz Stawowski Deployment of an effective and scalable network security system requires proper designing

320 views β€’ 3 slides
Scalable PATE The Secret Sharer work by the Brain Privacy and Security team and collaborators at

Scalable PATE The Secret Sharer work by the Brain Privacy and Security team and collaborators at

Scalable PATE The Secret Sharer work by the Brain Privacy and Security team and collaborators at UC Berkeley presented by Ian Goodfellow PATE / PATE-G Private / Papernot Aggregation / Abadi Teacher / Talwar Ensembles / Erlingsson

497 views β€’ 31 slides
Occams Razor Sampling Bias : generate the data carefuly Data Snooping : handle the data

Occams Razor Sampling Bias : generate the data carefuly Data Snooping : handle the data

recap: Validation and Cross Validation Validation Cross Validation D ( N ) D 1 D 2 D N D train Learning From Data D ( N K ) g 1 g 2 g N Lecture 14 ( x 1 , y 1 ) ( x 2 , y 2 ) ( x N , y N ) Three Learning Principles D

486 views β€’ 15 slides
AngularJS & Bootstrap Form Validation HTML default validation Browsers have built-in

AngularJS & Bootstrap Form Validation HTML default validation Browsers have built-in

AngularJS & Bootstrap Form Validation HTML default validation Browsers have built-in HTML validation These work when the type attribute is given to an input element We might want better validation than is provided by the web

328 views β€’ 13 slides
Endorse Brand - free Hardware Security Web + Hardware Security is much, much more than just:

Endorse Brand - free Hardware Security Web + Hardware Security is much, much more than just:

Why W3C needs to Remain Neutral and Endorse Brand - free Hardware Security Web + Hardware Security is much, much more than just: Image source: halfelf.org It is about decentralizing ID validation and key storage (my religion)

522 views β€’ 16 slides
Module 4 19/05/2015 2 Agenda 1. What is validation? 2. Three-part empathy 3. What is

Module 4 19/05/2015 2 Agenda 1. What is validation? 2. Three-part empathy 3. What is

VALIDATION SKILLS Module 4 19/05/2015 2 Agenda 1. What is validation? 2. Three-part empathy 3. What is involved? 4. Why, when and how to use validation 3 What is validation? Validation = saying something People with BPD are much

265 views β€’ 8 slides
Verification and Validation Steven Zeil February 13, 2013 Verification and Validation

Verification and Validation Steven Zeil February 13, 2013 Verification and Validation

Verification and Validation Verification and Validation Steven Zeil February 13, 2013 Verification and Validation Outline The Process 1 Non-Testing V&V 2 Code Review Mathematically-based verification Static analysis tools

790 views β€’ 55 slides
VALIDATION The goal of validation is to judge the quality of the soft- ware from the users

VALIDATION The goal of validation is to judge the quality of the soft- ware from the users

VALIDATION The goal of validation is to judge the quality of the soft- ware from the users point of view; e.g., reliability. The goal of all validation techniques is: to reveal failures, to localize the faults that caused the

281 views β€’ 14 slides
LaGov LaGov Version 2.2 Updated: 12/17/08 Visit our website for Blueprint Presentations,

LaGov LaGov Version 2.2 Updated: 12/17/08 Visit our website for Blueprint Presentations,

Inventory and Warehouse Management Inventory and Warehouse Management Inventory and Warehouse Management Validation Session Validation Session Validation Session LOG- -IM/WM IM/WM- -Validation Validation LOG LOG-IM/WM-Validation January

1.59k views β€’ 146 slides

More recommend