Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Speaker: Andra Băltoiu (University of Bucharest) Abstract: We continue our investigation on the task of detecting outliers in networks, by looking at the concept of signal variation on a graph. Required reading: A. Sandryhaila and J. M. F. Moura, "Classification via regularization on graphs," 2013 IEEE Global Conference on Signal and Information Processing, Austin, TX, …
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, …
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 …
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 …
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.
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, …
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 …
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. …
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.
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.