Loading Events

Past Events

Events Search and Views Navigation

Event Views Navigation

August 2019

Anomaly Detection Reading Group: Distributed Online AD

August 21 @ 10:00 am - 11:30 pm
Facultatea de Matematica si Informatica, sala Google

Speaker: Paul Irofti (University of Bucharest) Abstract: We continue our investigation on the task of detecting outliers in networks when dealing with big-data and investigate existing online and distributed solutions. Required reading: Miao, Xuedan, et al. "Distributed online one-class support vector machine for anomaly detection over networks." IEEE transactions on cybernetics 49.4 (2018): 1475-1488. Liu, Zhaoting, Ying Liu, and Chunguang Li. "Distributed sparse recursive least-squares over networks." IEEE Transactions on Signal Processing 62.6 (2014): 1386-1395.

Find out more »

Anomaly Detection Reading Group: Gaussian Mixture Models

August 30 @ 10:00 am - 11:30 pm
Facultatea de Matematica si Informatica, sala 202

Speaker: Andrei Pătrașcu (University of Bucharest) Abstract: We continue our adventure by investigating existing results using Gaussian Mixture Models (GMM) for anomaly detection and their adaptation to existing deep neural networks. Required reading: Zong, Bo, et al. "Deep autoencoding gaussian mixture model for unsupervised anomaly detection." (2018). Chapter 11 from Deisenroth, Marc Peter, A. Aldo Faisal, and Cheng Soon Ong. "Mathematics for Machine Learning." (2018).

Find out more »

September 2019

Local Reasoning about Parametric and Reconfigurable Component-based Systems

September 19 @ 10:00 am - 12:00 pm
Facultatea de Matematica si Informatica, sala Google

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 the bound on their number is not known. Besides specifying and verifying parametric systems, we consider the aspect of dynamic reconfiguration, in which components can migrate at runtime on a physical map, whose shape and size may change. We describe such para- metric and reconfigurable architectures using resource logics, close…

Find out more »

Optimal Transport for (Unsupervised) Machine Learning

September 20 @ 10:00 am - 11:30 pm
Facultatea de Matematica si Informatica, sala Google

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.

Find out more »

October 2019

An introduction to BAN logic (a logic of authentication)

October 24 @ 10:00 am - 12:00 pm
Facultatea de Matematica si Informatica, sala 202

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 . 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…

Find out more »

November 2019

ManyVal 2019

November 1 @ 9:30 am - November 3 @ 1:00 pm

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.

Find out more »

Anomaly Detection Reading Group: Anomaly Detection by Unmasking

November 21 @ 8:30 am - 10:00 am
Facultatea de Matematica si Informatica, sala Google

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. T.R. Ionescu, S. Smeureanu, B. Alexe,  and M. Popescu. Unmasking the abnormal events in video. In Proceedings of the IEEE International Conference on Computer Vision (pp. 2895-2903), 2017.

Find out more »

Operational Semantics of Security Protocols

November 21 @ 10:00 am - 12:00 pm
Facultatea de Matematica si Informatica, sala 202

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.  

Find out more »

December 2019

Executarea, detecţia și prevenţia atacurilor de tip R.O.P

December 12 @ 8:30 am - 11:00 am
Facultatea de Matematica si Informatica, sala Google

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 a bucăților de cod existent, curat, astfel încât cod nou, nedorit, în general de tip malware, să fie executat.

Find out more »

Operational Semantics of Security Protocols II

December 12 @ 10:00 am - 12:00 pm
Facultatea de Matematica si Informatica, sala 202

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 Protocols, Springer, 2012.

Find out more »
+ Export Events