BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:a6a5d8c8-14af-4903-b41c-684e2a048300
X-WR-CALNAME:[MTV] - Pierre Civit (LIP6) - Dynamic Probabilistic Automata
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20240331T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20211031T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20221030T030000
RDATE:20231029T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20220327T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20230326T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:a6a5d8c8-14af-4903-b41c-684e2a048300
DTSTAMP:20260316T212658Z
CLASS:PUBLIC
DESCRIPTION:We present probabilistic dynamic I/O automata\, a framework to 
 model dynamic probabilistic systems. Our work extends dynamic I/O Automata
  formalism of Attie & Lynch  to probabilistic setting. The original dynami
 c I/O Automata formalism included operators for parallel composition\, act
 ion hiding\, action renaming\, automaton creation\, and behavioral sub-typ
 ing by means of trace inclusion.  They can model mobility by using signatu
 re modification. They are also hierarchical: a dynamically changing system
  of interacting automata is itself modeled as a single automaton.\nOur wor
 k extends to probabilistic settings all these features.  Furthermore\, we 
 prove necessary and sufficient conditions to obtain the implementation mon
 otonicity with respect to automata creation and destruction. Our construct
 ion uses a novel proof technique based on homomorphism that can be of inde
 pendent interest. \nOur work lays down the foundations for extending compo
 sable secure-emulation of Canetti et al. to dynamic settings\, an importan
 t tool towards the formal verification of protocols combining  probabilist
 ic distributed systems and cryptography in dynamic settings (e.g. blockcha
 ins\, secure distributed computation\, cybersecure distributed protocols e
 tc).
DTSTART;TZID=Europe/Paris:20220630T130000
DTEND;TZID=Europe/Paris:20220630T140000
LOCATION:LaBRI - 178 - https://bordeaux-inp-fr.zoom.us/j/89508306159
SEQUENCE:0
SUMMARY:[MTV] - Pierre Civit (LIP6) - Dynamic Probabilistic Automata
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
