COMETE Activities related to ProNoBiS The team Catuscia - PowerPoint PPT Presentation

Oct 24, 2022 •426 likes •505 views

COMETE Activities related to ProNoBiS The team Catuscia Palamidessi (DR INRIA) Frank Valencia (CR CNRS) Peng Wu (Postdoc) Sardaouna Hamadou (Future postdoc) Kostas Chatzikokolakis (PhD student) Romain Beauxis (PhD student) Purnima Gupta

COMETE Activities related to ProNoBiS
The team Catuscia Palamidessi (DR INRIA) Frank Valencia (CR CNRS) Peng Wu (Postdoc) Sardaouna Hamadou (Future postdoc) Kostas Chatzikokolakis (PhD student) Romain Beauxis (PhD student) Purnima Gupta (Intern) ? Sylvain Pradalier (future PhD student) ? Carlos Olarte (future PhD student)
The probabilistic pi-calculus Asynchronous pi-calculus + a probabilistic input-choice construct Originally developed for filling the expressive gap between the pi-calculus and the asynchronous pi-calculus Used for specifying probabilistic security protocols The fair exchange (Kostas + Catuscia) Various anonymity protocols (Kostas + Catuscia) Model checker based on PRISM being developed in collab with Kwiatkowska’s group Dave Parker and Peng Wu
Anonymity Study of a notion of strong probabilistic anonymity (Catuscia and Mohit Bhargava) Combining nondeterminism (anonymous agents)and probability (protocols mechanisms) Theory of evidence Probable innocence Satisfied by “real protocols” like Crowds various definitions limit on the probability of detecting the culprit (Rubin) limit on the probability of the agent to be the culprit development of a notion that combines both requirements (Kostas and Catuscia)
Anonymity: future work Other forms of nondeterminism (with Purnima) Group anonymity (with Purnima) Extension to other paradigms of partial information-hiding (with Sardaouna) Relation with information Theory (project PRINTEMPS, with Prakash Panangaden) A logic based on conditional probability
Concurrent Constraint Programming Applications to security: Constraints = partial knowledge accumulated by adversary Monotonic evolution of the store = monotonic adversary SPL (Winskel and Crazzolara) , applied spi-calculus Advantages: Elegant and simple Denotational semantics based on closure operators CCP as a subset of the pi-calculus (Valencia,Saraswat, Victor, Palamidessi) Project followed by Valencia. Collaboration with Colombian universities

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

Catastrophe Portfolio Management CARE Seminar 2011 Mindy Spry 2 1 04/06/2011 Contents 1

04/06/2011 Catastrophe Portfolio Management CARE Seminar 2011 Mindy Spry 2 1 04/06/2011 Contents 1 Utilize Model Output for Risk Selection 2 Portfolio Management and Optimization 3 Portfolio Rate Comparison 3 Contents 1 Utilize

119 views • 10 slides

Accident Sequence Quantification in Multi-unit Seismic PSA using MCSs Yongjin Kim, Seunghyun Jang,

Transactions of the Korean Nuclear Society Virtual Spring Meeting July 9-10, 2020 Accident Sequence Quantification in Multi-unit Seismic PSA using MCSs Yongjin Kim, Seunghyun Jang, Moosung Jae* Department of Nuclear Engineering, Hanyang

305 views • 4 slides

Parents evening presentation Security marking: PUBLIC UCAS an independent charity UCAS

Parents evening presentation Security marking: PUBLIC UCAS an independent charity UCAS does: UCAS doesnt: process applications suggest courses or universities provide information, advice, and training make

874 views • 38 slides

[Slide 1] Thanks for scheduling consideration. Introduce Board members. [Slide 2] USI is the

January 10, 2013 [PRESENTATION TO HOUSE WAYS AND MEANS COMMITTEE] [Slide 1] Thanks for scheduling consideration. Introduce Board members. [Slide 2] USI is the youngest institution among the public residential universities, founded in 1965 as

941 views • 10 slides

Discussion on Uncertainty handling in Logic Programing Lluis Godo IIIA - CSIC, Barcelona, Spain

Discussion on Uncertainty handling in Logic Programing Lluis Godo IIIA - CSIC, Barcelona, Spain SUM 2010, Tolouse, September 27-29, 2010 Uncertainty / Fuzziness uncertainty due to incomplete information or randomness on Boolean events

126 views • 9 slides

State Estimation in Power Distribution Network Operation Ravindra Singh Dept. of Electrical

State Estimation in Power Distribution Network Operation Ravindra Singh Dept. of Electrical & Electronic Engg. Imperial College London 1 Outline: Introduction Research Objectives Identification of DSSE solver Modelling of

432 views • 32 slides

Acquiring dramatic gains in image quality: GPU-accelerated beamforming Andre Lehovich, Dustin

Acquiring dramatic gains in image quality: GPU-accelerated beamforming Andre Lehovich, Dustin Kruse, James Hayes, Allan Wegner 19 March 2015 Decision Sciences Medical Company, LLC dsmedco.com Talk overview An apology about the title: in this

575 views • 15 slides

A Comparison Study of Transection Rate and Wound Surface Size Caused by a Manual and Motorized

A Comparison Study of Transection Rate and Wound Surface Size Caused by a Manual and Motorized Sharp Punch in FUE Georgios Zontos MD, PhD Medical Director of Harklinikken, Denmark- University of Patras, School of Medicine, Patra, Greece

410 views • 14 slides

VINTAGE DERBY WFTDA: DERBY 101 https://www.youtube.com/watch?v=OId6gTd2LCM 2012 - Yellowknife

VINTAGE DERBY WFTDA: DERBY 101 https://www.youtube.com/watch?v=OId6gTd2LCM 2012 - Yellowknife Roller Girls founded by Mad Trapper & Bludgeoning Betsy 2013 - Rebranded into Diamond City Roller Derby 2014 - Proudly opened our

421 views • 24 slides

Rocketdyne Follow-On Health Study 6-8 April 2005 Overview Who was in the study? 54,384

Rocketdyne Follow-On Health Study 6-8 April 2005 Overview Who was in the study? 54,384 Rocketdyne Workers from 1948-1999 6,601 Short Term (< 6 mo.) 46,970 813 Insufficient Eligible Workers Identifying Information or Not Employee

1.03k views • 33 slides

Biostatistics 602 - Statistical Inference Apil 23rd, 2013 Biostatistics 602 - Lecture 26 Hyun

. . . . .. . . .. . .. . . . .. . . .. . .. . . . . . . . . .. Biostatistics 602 - Statistical Inference Apil 23rd, 2013 Biostatistics 602 - Lecture 26 Hyun Min Kang Apil 23rd, 2013 Hyun Min Kang Final Exam Review &

1.82k views • 156 slides

2020 303(d) Listing Methodology Workgroup Kick-off meeting September 14, 2018 CDPHE - C1A,

2020 303(d) Listing Methodology Workgroup Kick-off meeting September 14, 2018 CDPHE - C1A, 9-11 am Agenda Time Agenda Topic Lead 9:00 am Introductions Skip Feeney 9:15 am 2020 Listing Methodology Workgroup Purpose Skip Feeney

784 views • 42 slides

Use of the results of the SPICE project on marine litter Marta Ruiz HELCOM Secretariat HOLAS

Use of the results of the SPICE project on marine litter Marta Ruiz HELCOM Secretariat HOLAS II 8-2017 Helsinki, Finland, 28-29 November 2017 Microlitter Report on information collected on microlitter. It includes a map showing where

610 views • 16 slides

ASIA PACIFIC INFORMATION SUPERHIGHWAY (AP-IS) Atsuko Okuda Chief, ICT and Development Section

ASIA PACIFIC INFORMATION SUPERHIGHWAY (AP-IS) Atsuko Okuda Chief, ICT and Development Section ICT and Disaster Risk Reduction Division ESCAP 2 Part 1: Digital Divide in Asia and the Pacific 3 52% of broadband subscribers in Asia and the

797 views • 15 slides

Community Survey Highlights Survey Conducted December 6-17, 2015 Methodology Survey of 600

L ONG B EACH C ITY C OLLEGE Community Survey Highlights Survey Conducted December 6-17, 2015 Methodology Survey of 600 randomly selected Long Beach Community College District registered voters The margin of sampling error for all

806 views • 24 slides

OsiriX Segmentation Plugin Systems Development Project (SEP) Final Presentation July 28, 2009

OsiriX Segmentation Plugin Systems Development Project (SEP) Final Presentation July 28, 2009 Brian Jensen Computer Aided Medical Procedures (CAMP), Technische Universitt Mnchen, Germany Department of Nuclear Medicine University Hospital

646 views • 26 slides

Content Is Safety-In-Numbers (SIN) for fatal bicycle Background crashes confounded by

Content Is Safety-In-Numbers (SIN) for fatal bicycle Background crashes confounded by Study on cycling safety in countries and Dutch municipalities the general level of road Conclusions and discussion safety? Paul Schepers

472 views • 3 slides

Panel Regarding Marine Panel Regarding Marine Spatial Planning Spatial Planning A public process

Panel Regarding Marine Panel Regarding Marine Spatial Planning Spatial Planning A public process of analyzing and A public process of analyzing and allocating the spatial and temporal allocating the spatial and temporal distribution of human

503 views • 27 slides

ESTIM IMATIN ING M G MEASUR URE L LIF IFE F FROM BEHAVIO IORAL P PROGR GRAMS Hannah

ESTIM IMATIN ING M G MEASUR URE L LIF IFE F FROM BEHAVIO IORAL P PROGR GRAMS Hannah Arnold BECC 2013 November 20, 2013 Opinion Dynamics What we know, What we need to know, How it challenges our thinking Opinion Dynamics Wha hat

355 views • 22 slides

European Space Procurement: Towards a Third Way Rik Hansen SWF-IFRI Conference

European Space Procurement: Towards a Third Way Rik Hansen SWF-IFRI Conference 13 September 2011 European Space Governance: The Outlook Plan 1. Procurement in the European Space

265 views • 9 slides

Timed Discrete Event Modelling and Simulation extend State Automata with time in state

Timed Discrete Event Modelling and Simulation extend State Automata with time in state equivalent to Event Graphs time to transition schedule events Hans Vangheluwe hv@cs.mcgill.ca Modelling and Simulation: Discrete

713 views • 54 slides

Strongly Connected Components Detection Strongly Connected Components A directed graph is

Company LOGO Strongly Connected Components Detection Strongly Connected Components A directed graph is called strongly connected if there is a path from each vertex in the graph to every other vertex. The strongly connected components

177 views • 15 slides

Let f ( a ) be the minimum integer such that every graph of average degree at least f ( a )

Let f ( a ) be the minimum integer such that every graph of average degree at least f ( a ) contains K a as a minor. Theorem (Thomasson) f ( a ) = ( 0 . 638 . . . + o ( 1 )) a log a Theorem (Norin and Thomas) For every a there exists N such that

601 views • 26 slides

Thin Trees and Interlacing Families on Strongly Rayleigh Distributions Nima Anari / based on

Thin Trees and Interlacing Families on Strongly Rayleigh Distributions Nima Anari / based on joint work with Shayan Oveis Gharan 1 / 25 Exponentially large set . There is always an such that There is always an such that Example 2 Brief

1.5k views • 83 slides