BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.2.3.1//EN BEGIN:VEVENT UID:671@lincs.fr DTSTART;TZID=Europe/Paris:20211117T150000 DTEND;TZID=Europe/Paris:20211117T160000 DTSTAMP:20211119T075038Z URL:https://www.lincs.fr/events/dynamic-secure-emulation/ SUMMARY:Dynamic Secure-Emulation DESCRIPTION:We present probabilistic dynamic I/O automata\, a framework to model dynamic probabilistic systems. Our work extends dynamic I/O Automata formalism from Attie &\; Lynch to  \;probabilistic setting. The original dynamic I/O Automata formalism included operators for parallel composition\, action hiding\, action renaming\, automaton creation\, and behavioral sub-typing by means of trace inclusion.  \;They can model mobility by using signature modification. They are also hierarchical: a dynamically changing system of interacting automata is itself modeled as a single automaton.\nOur work extends to probabilistic settings all these features.  \;Furthermore\, we prove sufficient (weak) conditions to obtain the implementation monotonicity with respect to automata creation and destruction. Secondly\, we extends composable secure-emulation  \;from Canetti &\; al. to dynamic settings\, an important tool towards the formal verification of protocols combining  \;probabilistic distributed systems and cryptography in dynamic settings (e.g. blockchains\, secure distributed computation\, cybersecure distributed protocols etc). Here again\, we prove sufficient (weak) conditions to obtain the secure-emulation monotonicity with respect to automata creation and destruction. CATEGORIES:Seminars,Youtube LOCATION:LINCS + Zoom\, 23 avenue d'Italie\, Paris\, 75013\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=23 avenue d'Italie\, Paris\, 75013\, France;X-APPLE-RADIUS=100;X-TITLE=LINCS + Zoom:geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:STANDARD DTSTART:20211031T020000 TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET END:STANDARD END:VTIMEZONE END:VCALENDAR