Dynamic Code Analysis
Speaker: Radu Velea (BitDefender) Abstract: Static code analysis methods have the advantage of providing deterministic and reliable results. Malware has evolved beyond the point where simple pattern matching algorithms or …
10 events found.
-
-
Anomaly Detection Reading Group: Deep OC-SVM
Facultatea de Matematica si Informatica, sala 202Speaker: Andrei Pătrașcu (University of Bucharest) Abstract: Recent empirical results confirm that one-class (OC) classification methods remain among the most important learning strategies for anomaly detection. In this seminar, we …
-
Anomaly Detection Reading Group: Deep RPCA
Facultatea de Matematica si Informatica, sala 202Speaker: Andrei Pătrașcu (University of Bucharest) Abstract: We continue our adventure by investigating existing results with Robust Principal Component Analysis (RPCA) and its adaptation to existing deep neural networks. Required …
-
Anomaly Detection Reading Group: Graph Classification
Facultatea de Matematica si Informatica, sala GoogleSpeaker: 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. …
-
Anomaly Detection Reading Group: Distributed Online AD
Facultatea de Matematica si Informatica, sala GoogleSpeaker: 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. …
-
Anomaly Detection Reading Group: Gaussian Mixture Models
Facultatea de Matematica si Informatica, sala 202Speaker: 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 …
-
Local Reasoning about Parametric and Reconfigurable Component-based Systems
Facultatea de Matematica si Informatica, sala GoogleSpeaker: 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 …
-
Optimal Transport for (Unsupervised) Machine Learning
Facultatea de Matematica si Informatica, sala GoogleSpeaker: 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 …
-
An introduction to BAN logic (a logic of authentication)
Facultatea de Matematica si Informatica, sala 202Speaker: 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 …
-
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 …