Making Obsolete Malware Viable with Packing
Speaker: Mihai Stancu Abstract: The security trend today is to stop security threats even before they arrive on the target machine or system. With that in mind we will explore, …
10 events found.
Security Seminar
Events
-
-
Facultatea de Matematica si Informatica, sala 202
-
-
Verification of strategic properties for the Prêt-À-Voter protocol using Tamarin (joint work with Wojtek Jamroga and Damian Kurpiewski)
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Catalin Dima (Université Paris-Est Créteil) Abstract: We report on the verification of anonymity and coercion-freeness properties of the Prêt-À-Voter electronic voting protocol using the Tamarin tool for symbolic verification of security properties. Our …
-
Security aspects for blockchain
Facultatea de Matematica si Informatica, sala 202Speaker: 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 202Speaker: 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 …
-
-
Identificarea metodelor de automatizare a etapelor de analiza cuprinse in cadrul procedurilor de Securitate/ raspuns la incidente cibernetice utilizate in cadrul unui SOC
Facultatea de Matematica si Informatica, sala 202Speaker: Alin Puncioiu (Secureworks) Abstract: In cadrul prezentarii vom prezenta cateva fluxuri de lucru executate manual in momentul de fata pe parcursul fazelor de raspuns la incidente cibernetice.
-
Verifying security protocols using BAN logic
Facultatea de Matematica si Informatica, sala 202Speaker: 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 202Speaker: 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 …
-
How to find bugs in your (x86) code: Applications that use RIVER
Facultatea de Matematica si Informatica, sala 202Speaker: Bogdan Ghimiș (University of Bucharest) Abstract: From a security perspective, discovering bugs before shipping a product is crucial. This presentation will be about RIVER, a tool that can help …
-
Anti-Malware Machine Learning
Facultatea de Matematica si Informatica, sala 202Speaker: 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 …