Name: POSTPONED: Securing Businesses and Critical Infrastructure
Start: 2020-03-12T08:30:00+02:00
End: 2020-03-12T10:00:00+02:00
Location: Facultatea de Matematica si Informatica, sala Google

SECURITY & APPLIED LOGIC

Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest

Home
News
Seminars
Academic Staff
Contact

Loading view.

Events Search and Views Navigation

Enter Keyword. Search for Events by Keyword.

Event Views Navigation

List
Month
Day

Today

Select date.

8:30 am

November 21, 2019 @ 8:30 am - 10:00 am

Anomaly Detection Reading Group: Anomaly Detection by Unmasking

Facultatea de Matematica si Informatica, sala Google

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 …

10:00 am

November 21, 2019 @ 10:00 am - 12:00 pm

Operational Semantics of Security Protocols

Facultatea de Matematica si Informatica, sala 202

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. …

Previous Day
Next Day

Google Calendar
iCalendar
Outlook 365
Outlook Live
Export .ics file
Export Outlook .ics file

Location

Faculty of Mathematics and Computer Science, University of Bucharest,
Academiei 14,
Sector 1, Bucharest 010014

About

Website for the Security and Applied Logic Master’s Program.