Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Title: Off-the-Record Communication (OTR) Speaker: Mihail-Iulian Plesa Abstract: Off-the-Record Communication (OTR) este un protocol care modealeaza o discutie dintre doua entitati, care ar trebui sa satisfaca anumite proprietati de securitate.
Speaker: Marian Calborean (University of Bucharest) Abstract: The Sorites paradox is usually studied as a propositional paradox. However, the general form of the Sorites is second-order, with three main features.
Speaker: Ioana Leustean (University of Bucharest) Abstract: We continue our presentation on operational semantics of security protocols, as developed in: C. Cremers, S. Mauw, Operational Semantics and Verification of Security