Operational Semantics of Security Protocols

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. Cremers, S. Mauw, Operational Semantics and Verification of Security Protocols, Springer, 2012.

 

Anomaly Detection Reading Group: Anomaly Detection by Unmasking

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 reading:

M. Koppel, J. Schler, and E. Bonchek-Dokow. Measuring Differentiability: Unmasking Pseudonymous Authors. Journal of Machine Learning Research, 8:1261–1276,  2007.

ManyVal 2019

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 mai multe detalii puteti consulta pagina manifestarii: https://cs.unibuc.ro/events/manyval2019/ Persoanele inregistrate vor primi kit-ul workshop-ului si vor putea participa la mesele si activitatile sociale anuntate. Participarea la prezentari NU presupune plata taxei de inregistrare, iar anumite materiale (program, carte de abstracte) vor putea fi descarcate de pe pagina ManyVal 2019.

Workshop international: ManyVal 2019

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 mai multe detalii puteti consulta pagina manifestarii:


https://cs.unibuc.ro/events/manyval2019/

Persoanele inregistrate vor primi kit-ul workshop-ului si vor putea participa la mesele si activitatile sociale anuntate.

Participarea la prezentari NU presupune plata taxei de inregistrare, iar anumite materiale (program, carte de abstracte) vor putea fi descarcate de pe pagina ManyVal 2019.

An introduction to BAN logic (a logic of authentication)

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 [1]. BAN logic is a many-sorted modal logic used for its intuitive and compelling set of inference rules devised for reasoning about an agent’s beliefs, trust and message exchange. My presentation will focus on (1) presenting the language and inference rules of BAN logic, (2) following the original paper’s analysis of the Otway-Rees protocol, (3) presenting some objections to using BAN, and (4) discussing the problem of offering a semantics of BAN logic.

References:
[1] M. Burrows, M. Abadi, R. Needham, A logic of authentication. Proc. Roy. Soc. London Ser. A 426, no. 1871, 233–271, 1989.

Echipa Romaniei victorioasa la ECSC2019!

Echipa României a câștigat Campionatul European de Securitate Cibernetică – European Cyber Security Challenge (ECSC 2019), desfășurat la București în perioada 9-11 octombrie 2019!

Din echipa României câștigătoare a ECSC 2019 au făcut parte și doi studenți ai FMI: Robert-Florian Dobre (anul II Informatică) și Dragoș Albăstroiu (anul II CTI), iar căpitanul echipei de anul acesta a fost Robert Vulpe (absolvent Informatică FMI 2017).

În pregătirea echipei României, un rol important l-a avut și compania certSIGN, cu care colaborăm prin stagiile de practică oferite studenților de la masterul de SLA. In anul universitar 2018-2019 profesorii masterului au organizat lecții de pregătire pentru ECSC2019, participarea la aceste lectii fiind oferită ca opțiune de practică pentru studenții SLA.

Felicitări concurenților!

PRACTICA SLA Anul I Sem. I

Pentru desfășurarea activitaților de practică din anul I, semestrul I, studenții SLA au la dispoziție următoarele opțiuni:

  • FACULTATE
    Activitatea se desfășoară în facultate, profesor îndrumător: Mihăiță Drăgan.
  • INDUSTRIE
    Activitatea se desfăsoară la sediul firmelor cu care avem parteneriat. În acest an, vă propunem urmă toarele companii:
    Bitdefender
    certSIGN
    – Runtime Verification Romania, subsidiara a Runtime Verification, Inc
    Secureworks
    BRD

  • CERCETARE
    Studenții aleg dintre temele de cercetare propuse, activitatea este supervizată de profesorul care a propus tema. Studenții pot propune teme de cercetare, în acest caz ei trebuie sa îsi gaseasca un profesor coordonator.
  • COLABORARE
    Studenții îsi gasesc singuri firma la care vor desfăsura activitatea de practică. Activitatea este supervizată de dl. prof. Silviu Laurențiu Vasile. Procedura exacta o gasiti pe pagina moodle.

Mai multe detalii pe pagina moodle a masterului.

Optimal Transport for (Unsupervised) Machine Learning

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 Transport in the attempt of finding new prospects for the anomaly detection problem.