Name: Verifying security protocols using BAN logic
Start: 2019-03-21T08:30:00+00:00
End: 2019-03-21T10:00:00+00:00
Location: Facultatea de Matematica si Informatica, sala 202

February 2019
February 18, 2019 @ 6:30 pm - 8:00 pm

Criptosistemul lui McEliece, dupa 40 de ani de criptanaliza

Facultatea de Matematica si Informatica, sala 220 Strada Academiei 14, Bucuresti, Bucuresti, Romania

Speaker: Vlad Dragoi (Univ. Aurel Vlaicu Arad) Abstract: Aceasta prezentare are ca scop descrierea principalelor solutii de criptare asimetrica cu ajutorul codurilor corectoare de erori. Vom incerca sa discutam cat mai multe aspecte legate de aceste protocoale, cum ar fi: natura codurilor folosite in acest context, complexitatea algoritmilor de criptare si decriptare, securitatea protocolului (distinguisher, message …

Continue Reading
February 21, 2019 @ 8:30 am - 10:30 am

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 during the years, blockchain implementation examples and possible domains where blockchain can be used.
February 21, 2019 @ 8:30 am - 10:30 pm

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 and further information about how user behaviour can be used to improve the security of software applications. Also, the presentation will include information about biometrics …

Continue Reading
February 28, 2019 @ 10:00 am - 12:00 pm

The hybridization of many-sorted polyadic modal logic

Speaker: Natalia Moangă (University of Bucharest). Abstract: Hybrid logics are obtained by enriching modal logics with nominals and state variables, that directly refer the individual points in a Kripke model. In the present work we develop a hybrid version on top of our many-sorted polyadic logic, previously defined. Our system has nominals and state variables …

Continue Reading
February 28, 2019 @ 10:00 am - 12:00 pm

An introduction to BAN logic (a logic of authentication)

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 (Burrows, Abadi & Needham 1989), a many-sorted modal logic used for its intuitive and compelling set of inference rules devised for reasoning about an agent’s …

Continue Reading
March 2019
March 6, 2019 @ 6:30 pm - 7:30 pm

Functional Encryption (FE)

Speaker: Radu Titiu Abstract: Functional Encryption (FE) este o primitiva criptografica moderna care generalizeaza notiunea de criptografie cu cheie publica in felul urmator. In mod normal algoritmul de decriptare se foloseste de cheia secreta pentru a recupera intreg mesajul criptat cu cheia publica. FE permite o decriptare controlata a mesajului: detinatorul cheii secrete K poate sa …

Continue Reading
March 7, 2019 @ 8:30 am - 10:00 am

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 202

Speaker: 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.
March 14, 2019 @ 10:00 am

Lindström’s Theorems

Facultatea de Matematica si Informatica, sala 202

Speaker: Mihai Prunescu (University of Bucharest) Abstract: Regular logic systems which are strictly stronger than the first order predicate calculus cannot satisfy in the same time Löwenheim-Skolem for statements and compacity (Lindström 1). Effectively presented such systems cannot satisfy in the same time Löwenheim-Skolem for statements and the condition that the set of generally valid …

Continue Reading
March 20, 2019 @ 6:30 pm - 7:30 pm

Fully Homomorphic Encryption (FHE)

Facultatea de Matematica si Informatica, sala 219

Speaker: Ana Costache Abstract: Fully homomorphic encryption este un tip de criptare care permite manipularea datelor criptate pastrand securitatea acestora. Ana va introduce notiunea de latice, si va defini FHE. De asemenea, va vorbi despre librarii FHE si despre relevanta FHE in lumea comerciala.
March 21, 2019 @ 8:30 am - 10:00 am

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 vulnerabilities of security protocols. One of the first and most discussed logical approaches to the problem of verifying security protocols is the one proposed in …

Continue Reading