• Security aspects for blockchain

    Facultatea de Matematica si Informatica, sala 202

    Speaker: Andreea Elena Panait (University of Bucharest). Abstract: The presentation will include introductive notions about blockchain, the main types of attacks on the blockchain network and possible countermeasures, attack examples that occurred

  • Security via user behavior

    Facultatea de Matematica si Informatica, sala 202

    Speaker: Cezara Benegui (University of Bucharest). Abstract: The presentation will be based on earlier research done on user behaviour understanding and detection, learning it using machine learning and artificial intelligence

  • Verifying security protocols using BAN logic

    Facultatea de Matematica si Informatica, sala 202

    Speaker: Alexandru Dragomir (University of Bucharest) Abstract: Epistemic logics - logics aimed at reasoning about knowledge and belief - are widely considered to be suitable for modelling, analyzing and predicting

  • Verifying security protocols using BAN logic – Part 2

    Facultatea de Matematica si Informatica, sala 202

    Speaker: Alexandru Dragomir (University of Bucharest) Abstract: Epistemic logics - logics aimed at reasoning about knowledge and belief - are widely considered to be suitable for modelling, analyzing and predicting

  • Anti-Malware Machine Learning

    Facultatea de Matematica si Informatica, sala 202

    Speaker: Andra Băltoiu (University of Bucharest) Abstract: In a previous seminar, we introduced Dictionary Learning (DL), a machine learning method capable of handling the requirements of IoT-related tasks, motivated by

  • 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

  • Anomaly Detection Reading Group: Deep OC-SVM

    Facultatea de Matematica si Informatica, sala 202

    Speaker: 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 202

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