Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Speaker: Radu Iosif (CNRS - VERIMAG, France) Abstract: We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but …
Speaker: Andra Băltoiu (University of Bucharest) Abstract: After attending the "Summer School on Applied Harmonic Analysis and Machine Learning" in Genova, Andra will give us a short introduction on Optimal …
Speaker: Alexandru Dragomir (University of Bucharest) Abstract: One of the first and most discussed logical approaches to the problem of verifying security protocols is the one proposed in BAN logic …
In perioada 1-3 noiembrie organizam workshop-ul international ManyVal 2019, dedicat in special cercetarilor in logica cu mai multe valori. Editia actuala beneficiaza si de participarea unor filozofi-logicieni de marca. Pentru …
Speaker: Marius Popescu (University of Bucharest) Abstract: We continue our adventure by investigating existing natural language processing results that deal with unmasking authorship and their application to anomaly detection. Required …
Speaker: Ioana Leustean (University of Bucharest) Abstract: After a brief overview of the formal methods used for analyzing security protocols, we will focus on the operational semantics developed in: C. …
Speaker: Sorin-Gabriel Radu (University of Bucharest) Abstract: Va fi prezentată o versiune extinsă a lucrări de licență ce va prezenta concepte de Return Orientated Programming, o tehnică de reciclare și combinare …
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 …
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. …
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. …