Joseph Jaeger Igors Stepanovs Alice and Bob want E2E secure - PowerPoint PPT Presentation

Aug 14, 2023 •282 likes •475 views

Optimal Channel Security Against Fine-Grained State Compromise: The Safety of Messaging Joseph Jaeger Igors Stepanovs Alice and Bob want E2E secure communication But what about E2E Tools? Plenty of Theory Symmetric encryption Asymmetric

Optimal Channel Security Against Fine-Grained State Compromise: The Safety of Messaging Joseph Jaeger Igors Stepanovs
Alice and Bob want E2E secure communication But what about E2E Tools? Plenty of Theory … Symmetric encryption Asymmetric encryption Session key exchange Signatures TLS is for web servers! ≠ … PGP is a pain! Emerging as most Messaging Apps convenient & usable. 2
E2E Messaging Apps Whatsapp alone encrypts ~55 billion messages/day. Apps Targeting E2E Security: Signal ~700 million iPhones in use. WhatsApp Skype (Private Conversations) Understanding their security is important! Facebook Messenger (Secret Conversations) iMessage These are all based on Open Whisper System’s Double Ratchet Algorithm . (i.e. the techniques of Signal) Telegram (Secret Chats) We aim to better understand its goal: Viber Security against state compromise Many more… 3

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

Differing-Inputs Obfuscation May 12, 2016 EUROCRYPT 2016 Mihir Bellare Igors Stepanovs Brent

New Negative Results on Differing-Inputs Obfuscation May 12, 2016 EUROCRYPT 2016 Mihir Bellare Igors Stepanovs Brent Waters 1 Our Main Result at a Glance Bellare, Stepanovs, Waters - EUROCRYPT 2016 Differing-inputs obfuscation (Barak et

403 views • 37 slides

Two-Round Multi-Signatures Manu Drijvers 1 , Kasra Edalatnejad 2 , Bryan Ford 2 , Eike Kiltz 3 ,

On the Security of Two-Round Multi-Signatures Manu Drijvers 1 , Kasra Edalatnejad 2 , Bryan Ford 2 , Eike Kiltz 3 , Julian Loss 3 , Gregory Neven 1 , Igors Stepanovs 4 1 DFINITY, 2 EPFL , 3 Ruhr-University Bochum, 4 UCSD To appear at S&P 2019,

393 views • 27 slides

On the Security of Two-Round Multi-Signatures Manu Drijvers 1 , Kasra Edalatnejad 2 , Bryan Ford 2

635 views • 27 slides

The Memory-Tightness of Authenticated Encryption Stefano Tessaro Ashrujit Ghoshal Joseph Jaeger

The Memory-Tightness of Authenticated Encryption Stefano Tessaro Ashrujit Ghoshal Joseph Jaeger University of Washington CRYPTO 2020 Concrete security theorems: resources 1 0 resources Traditionally: time

402 views • 29 slides

Security of TLS 1.2 The ACCE model TLS Crypto Seminar February 7, 2019 Joseph Jaeger UC San

Security of TLS 1.2 The ACCE model TLS Crypto Seminar February 7, 2019 Joseph Jaeger UC San Diego some slides & formatting stolen from Felix Gnther February 7, 2019 | Security of TLS | TLS Crypto Seminar, Winter 2019 Quarter, UC

479 views • 14 slides

Critical points of the multiplier map Igors Gorbovickis Jacobs University Bremen March 25, 2019

Critical points of the multiplier map Igors Gorbovickis Jacobs University Bremen March 25, 2019 Igors Gorbovickis Critical points of the multiplier map Independence of multipliers Theorem (G. 2014): The multipliers of any n 1 distinct

870 views • 19 slides

The verbal prefix za -: Meanings and Aspect in Tale of Igors campaign Slavic Linguistic

The verbal prefix za -: Meanings and Aspect in Tale of Igors campaign Slavic Linguistic Society Meeting, Indiana University, 4-6 th September 2020 Mirko Sacchini University of Tjumen' (Russia) Aim of our work and lines of research AIM :

476 views • 28 slides

Prepared For: PRESENTED BY: Warren County Kurt W. Jaeger, RHU, ChHC Executive Vice President

Prepared For: PRESENTED BY: Warren County Kurt W. Jaeger, RHU, ChHC Executive Vice President & Chief Marketing Officer Jaeger & Flynn Associates Matt Schuette, RHU, ChHC Agency Partner Jaeger & Flynn Associates Prepared by:

365 views • 8 slides

Security CSE473 - Spring 2008 Professor Jaeger www.cse.psu.edu/~tjaeger/cse473-s08/ CSE473

Security CSE473 - Spring 2008 Professor Jaeger www.cse.psu.edu/~tjaeger/cse473-s08/ CSE473 Operating Systems - Spring 2008 - Professor Jaeger Protection Protect yourself from untrustworthy users in a common space If protection is so

578 views • 28 slides

Protection CSE473 - Spring 2008 Professor Jaeger www.cse.psu.edu/~tjaeger/cse473-s08/ CSE473

Protection CSE473 - Spring 2008 Professor Jaeger www.cse.psu.edu/~tjaeger/cse473-s08/ CSE473 Operating Systems - Spring 2008 - Professor Jaeger Protection Protect yourself from untrustworthy users in a common space They may try to

526 views • 29 slides

Joseph, a Christmas Hero Mahew 1:18-25 I. Joseph: a Devout Man of Simple Faith and Obedience

Joseph, a Christmas Hero Mahew 1:18-25 I. Joseph: a Devout Man of Simple Faith and Obedience to God. a righteous man II. The Announcement of the Angel. To Mary: the second coming of the Messiah. (Luke 2:30-33) To Joseph: the fi

58 views • 4 slides

Dr Joseph Barnard joseph.barnard@barnardmicrosystems.com Barnard Microsystems Limited Unit 4, 44

AUVSI Unmanned Systems North America 2013 Conference August 14, 2013 The requirements for unmanned aircraft operating in oil, gas and mineral exploration and production Dr Joseph Barnard joseph.barnard@barnardmicrosystems.com Barnard

491 views • 31 slides

Ch Chie ief f Jo Joseph h Fis ish Ha Hatch chery ry Chief Joseph Dam Bridgeport, WA

Ch Chie ief f Jo Joseph h Fis ish Ha Hatch chery ry Chief Joseph Dam Bridgeport, WA 200 Miles ON COLUMBI MBIA RIVER, R, EAST T OF BRIDGEPORT IDGEPORT, , WA 2 ND ND LARGEST ST POWER R PROD ODUCI CING DAM M IN THE

730 views • 56 slides

CSE 543 - Computer Security (Fall 2007) Lecture 1 - Introduction Professor: Trent Jaeger URL:

CSE 543 - Computer Security (Fall 2007) Lecture 1 - Introduction Professor: Trent Jaeger URL: http://www.cse.psu.edu/~tjaeger/cse543-f07/ CSE543 Computer (and Network) Security - Fall 2007 - Professor Jaeger Page Some bedtime stories

534 views • 24 slides

Through the looking glass, and what Joseph found there Joseph Wright L A T EX Project The xfp

Through the looking glass, and what Joseph found there Joseph Wright L A T EX Project The xfp package Floating Point Unit The L A T EX3 Project Released 2018-05-12 This package provides a L A T EX 2 document-level interface to the L A

386 views • 24 slides

1 About Me Trent Jaeger (PhD, University of Michigan) Associate Professor, CSE -- after 9

1 About Me Trent Jaeger (PhD, University of Michigan) Associate Professor, CSE -- after 9 years at IBM Research Research: Operating System Security Example Projects L4 Microkernel -- minimal, high performance OS Linux --

1.21k views • 37 slides

its impact on mobile virtual network operators Athanasios Lioumpas, Ph.D. C y t a H e l l a s ,

Network slicing: A key technology for 5G and its impact on mobile virtual network operators Athanasios Lioumpas, Ph.D. C y t a H e l l a s , R & D d e p a r t m e n t T h e s s a l o n i k i , G r e e c e 2 0 1 7 contents mobile

323 views • 29 slides

Lagrangian Relaxa,on for MAP Inference SPFLODD October 8,

Lagrangian Relaxa,on for MAP Inference SPFLODD October 8, 2013 Outline An elegant example of a relaxa,on to TSP A common problem in NLP:

527 views • 28 slides

Help Your Developers Help Themselves Scott Stancil @hoverduck CHAPTER 1 The Problem

Help Your Developers Help Themselves Scott Stancil @hoverduck CHAPTER 1 The Problem Challenges The project I work on wasnt built with end-to-end testing in mind. Here are a few of the challenges we face: The tests live in a separate

535 views • 19 slides

Analyzing Hidden Representations in End-to-End Automatic Speech Recognition Systems 1 Leda Sar

Analyzing Hidden Representations in End-to-End Automatic Speech Recognition Systems 1 Leda Sar January 31, 2019 1 Belinkov and Glass, NIPS 2017 1 / 9 Introduction End-to-End (E2E) directly maps acoustic features to symbol (character or word)

346 views • 9 slides

Continuous delivery of insights August 2017 Javier Moscard mosca@spoti fz .com The secret

Continuous delivery of insights August 2017 Javier Moscard mosca@spoti fz .com The secret is VUCA world Team of teams The author @Javi_Mosca The right music for every moment Started in 2006 in Sweden 140M users Available in

1.01k views • 67 slides

End- -to to- -end Window end Window- -Constrained Scheduling Constrained Scheduling End for

End- -to to- -end Window end Window- -Constrained Scheduling Constrained Scheduling End for Real- -Time Communication Time Communication for Real Richard West

579 views • 28 slides

open, intelligent & Disaggregated Ran Pet etr L dl dl VP Ne VP Network Tria rials

open, intelligent & Disaggregated Ran Pet etr L dl dl VP Ne VP Network Tria rials & In Integration Lab ab Sep Sept., ., 202 2020 TECHNICAL challenges IN 5G expansion Site regulations Fronthaul & bACKHAUL SERVICE

686 views • 10 slides

DIMES Status Report DIMES Now also use PlanetLab (currently mostly PE) New agent: New

'/ / " DIMES A Measurement Study of A Measurement Study of the Origins of End to End Delay Variations Yuval Shavitt School of Electrical Engineering shavitt@eng.tau.ac.il http://www.netDIMES.org

547 views • 13 slides