(Partially Specified) Secure Channels Tom Shrimpton University of - PowerPoint PPT Presentation

Apr 01, 2024 •304 likes •925 views

(Partially Specified) Secure Channels Tom Shrimpton University of Florida Summer School on Real World Crypto and Privacy (June 14, 2018) Prologue: Review of AE Authenticated Encryption M M Prologue: Review of AE Probabilistic or

(Partially Specified) Secure Channels Tom Shrimpton University of Florida Summer School on Real World Crypto and Privacy (June 14, 2018)
Prologue: Review of AE Authenticated Encryption M M
Prologue: Review of AE Probabilistic or deterministic AE? Nonce based AE? What happens if a nonce repeats? Do I need to support associated data? What primitives should we build upon? encryption + MAC? (tweakable) wide-block cipher? sponges? ... What should happen when decryption fails? Is it safe to provide multiple, descriptive exceptions/error messages? Stop all future processing, or just for this message? What kind of information can decryption safely leak? Safe to release plaintext data “early”? Online encryption/decryption property? ”Atomic” plaintexts/ciphertexts, or stream-based? (Authenticated encryption != Secure Channel)

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

Payment Channels Designing Secure Watchtowers Zeta Avarikioti ETH Zurich Distributed

Payment Channels Designing Secure Watchtowers Zeta Avarikioti ETH Zurich Distributed Computing www.disco.ethz.ch Can cryptocurrencies scale? 7 tx/s 20 tx/s 65.000 tx/s Payment Channels Payment Channels Payment Channels Funding

482 views • 37 slides

Building Secure Channels Kenny Paterson Information Security Group

Building Secure Channels Kenny Paterson Information Security Group Overview Why do we need secure channels? What properties should they have?

480 views • 31 slides

Secure and Usable Out-Of-Band Channels for Ad hoc Mobile Device Interactions Ronald Kainda, Ivan

Introduction HISP OOB Channels Problem definition Proposed methods Security and usability study Conclusion Secure and Usable Out-Of-Band Channels for Ad hoc Mobile Device Interactions Ronald Kainda, Ivan Flechais, A.W. Roscoe Workshop in

650 views • 18 slides

Secure Mobile Ad-hoc Interactions: Reasoning About Out-Of-Band (OOB) Channels Ronald Kainda, Ivan

Introduction Framework Application Conclusion Secure Mobile Ad-hoc Interactions: Reasoning About Out-Of-Band (OOB) Channels Ronald Kainda, Ivan Flechais, A.W. Roscoe International Workshop on Security and Privacy in Spontaneous Interaction

539 views • 17 slides

Data Security: The art of providing secure communication over insecure channels. Not a problem

Data Security: The art of providing secure communication over insecure channels. Not a problem that suddenly arose when computers were invented - its as old as mankind. Data Security falls naturally into two cathegories: * Confidentiality

542 views • 16 slides

Usability and Security of Out-Of-Band Channels in Secure Device Pairing Protocols Ronald Kainda,

Outline Introduction HISPs Proposed OOB Methods Experimental Design Results Analysis and Discussion Conclusion Usability and Security of Out-Of-Band Channels in Secure Device Pairing Protocols Ronald Kainda, Ivan Flechais, and A.W.

670 views • 41 slides

Channel Upgrading for Semantically-Secure Encryption on Wiretap Channels Ido Tal Alexander

Channel Upgrading for Semantically-Secure Encryption on Wiretap Channels Ido Tal Alexander Vardy Technion UCSD The wiretap channel Alice, Bob, and Eve X Y Main Alice U U Bob Encoder Decoder Channel W Bob n bits k bits random

474 views • 20 slides

Security Notions for Bidirectional Channels Giorgia Azzurra Marson Bertram Poettering FSE 2017

Security Notions for Bidirectional Channels Giorgia Azzurra Marson Bertram Poettering FSE 2017 Tokyo, Japan 1 / 11 Outline Secure channels and how they are modeled Security notions for bidirectional channels Analysis of bidirectional

602 views • 39 slides

INTERIM REPORT Q2 2013, JULY 26 (UNAUDITED) Protecting the irreplaceable | f-secure.com

INTERIM REPORT Q2 2013, JULY 26 (UNAUDITED) Protecting the irreplaceable | f-secure.com F-Secure celebrated its 25 th anniversary in May Contents 1. Highlights in Q2 2. Financial performance in Q2 3. Channels 4. Products and services

664 views • 30 slides

Chapter 6 Marks and Channels Vis/Visual Analytics, Chap 6 Marks/Channels 1 CGGM Lab., CS

Chapter 6 Marks and Channels Vis/Visual Analytics, Chap 6 Marks/Channels 1 CGGM Lab., CS Dept., NCTU Jung Hong Chuang The Big Picture Marks Basic graphical elements in an image Channels Visual channels to control the

667 views • 43 slides

How Secure are Secure How Secure are Secure Interdomain Routing Protocols? Interdomain Routing

DIMACS Workshop On Secure Routing March 10, 2010 How Secure are Secure How Secure are Secure Interdomain Routing Protocols? Interdomain Routing Protocols? $ $ Sharon Goldberg Microsoft Research & Boston University y Michael Schapira

701 views • 54 slides

Other Communication Channels Select channels of communication that will reach your audiences.

Other Communication Channels Select channels of communication that will reach your audiences. During Preplanning Ask: Which channels are available? (Consider your schedule and resources.) Which channels will target audiences find

280 views • 12 slides

Multiple Input and Output Channels Multiple Input and Output Channels Multiple Input Channels In

2/23/2019 channels slides Multiple Input and Output Channels Multiple Input and Output Channels Multiple Input Channels In [1]: import d2l from mxnet import nd def corr2d_multi_in(X, K): # First, traverse along the 0th dimension (channel

457 views • 6 slides

Side Channels and Covert Channels Daniel Bosk Department of Information and Communication Systems

Side Channels Covert Channels References Side Channels and Covert Channels Daniel Bosk Department of Information and Communication Systems (ICS), Mid Sweden University, Sundsvall. 1st May 2017 Daniel Bosk MIUN ICS Side Channels and Covert

689 views • 32 slides

Rayleigh- -Taylor instability Taylor instability Rayleigh in partially ionized in partially

1 Rayleigh- -Taylor instability Taylor instability Rayleigh in partially ionized in partially ionized prominences prominences Antonio J. Daz, R. Soler, E. Khomenko, A. De Vicente, J L. Ballester , M. Collados Workshop on Partially

488 views • 24 slides

Isolation and side-channels Nadia Heninger and Deian Stefan Some slides adopted from John

CSE 127: Computer Security Isolation and side-channels Nadia Heninger and Deian Stefan Some slides adopted from John Mitchell, Dan Boneh, and Stefan Savage Today Lecture objectives: Understand basic principles for building secure systems

1.08k views • 78 slides

Lecture 14 Lecture 14 2. B inary R epresentation What is a file? 3. H ardw are and S

1. Introduction Lecture 14 Lecture 14 2. B inary R epresentation What is a file? 3. H ardw are and S oftw are 4. H igh Level Languages 5. S tandard input and output A file is data stored in secondary storage 6. Operators,

216 views • 3 slides

Compilers Nikos Papaspyrou Kostis Sagonas nickie@softlab.ntua.gr kostis@cs.ntua.gr National

Compilers Nikos Papaspyrou Kostis Sagonas nickie@softlab.ntua.gr kostis@cs.ntua.gr National Technical University of Athens School of Electrical and Computer Engineering Software Engineering Laboratory Polytechnioupoli, 15780 Zografou,

1.3k views • 79 slides

Why Neural Translations are the Right Length Xing Shi , Kevin Knight and Deniz Yuret; EMNLP 2016

Why Neural Translations are the Right Length Xing Shi , Kevin Knight and Deniz Yuret; EMNLP 2016 What is the fundamental question as a PhD student ? How to publish a lot of high-quality papers ? How to graduate in 5 years ? PhD Life MT How

808 views • 29 slides

Computer Architecture Summer 2018 C Programming Tyler Bletsch Duke University Slides are

ECE/CS 250 Computer Architecture Summer 2018 C Programming Tyler Bletsch Duke University Slides are derived from work by Daniel J. Sorin (Duke), Andrew Hilton (Duke), Alvy Lebeck (Duke), Benjamin Lee (Duke), and Amir Roth (Penn) Also

1.2k views • 77 slides

ERP Plenary July 2015 CO 2 Enhanced Oil Recovery Richard Heap July 2015 Energy Research

ERP Plenary July 2015 CO 2 Enhanced Oil Recovery Richard Heap July 2015 Energy Research Partnership Energy Research Partnership Outline Technical challenges CO 2 -EOR is not easy, and expensive Synchronisation issue Timing of

1.41k views • 16 slides

Software Security: Buffer Overflow Attacks Autumn 2020 Franziska (Franzi) Roesner

CSE 484 / CSE M 584: Computer Security and Privacy Software Security: Buffer Overflow Attacks Autumn 2020 Franziska (Franzi) Roesner franzi@cs.washington.edu Thanks to Dan Boneh, Dieter Gollmann, Dan Halperin, Yoshi Kohno, Ada Lerner, John

517 views • 29 slides

The Mode Decision INST 154 Apollo at 50 Lunar Orbit Rendezvous Four Bad Ideas Direct Ascent

The Mode Decision INST 154 Apollo at 50 Lunar Orbit Rendezvous Four Bad Ideas Direct Ascent Required an enormous rocket and made the landing much more difficult Earth Orbit Rendezvous, then Direct Ascent Required salvo launches

131 views • 12 slides

FCoE over TRILL draft-mme-trill-fcoe-00 http://tools.ietf.org/html/draft-mme-trill-fcoe-00

FCoE over TRILL draft-mme-trill-fcoe-00 http://tools.ietf.org/html/draft-mme-trill-fcoe-00 Informational David Melman Marvell Tal Mizrahi Marvell Donald Eastlake, 3rd Huawei IETF Meeting 81, July 2011 Background } FCoE Fibre

198 views • 9 slides