Anomaly Detection Reading Group: Deep OC-SVM

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 will technically describe in detail multiple basic OC schemes such as OC-SVM and SVDD and their deep variants, in order to identify room of improvements or generalization directions towards the graph anomaly detection context.

Curs optional Secureworks

Firma Secureworks a propus un curs optional pentru anul II, semestrul I. Puteti consulta fisa cursului aici. Recomandam studentilor SLA care finalizeaza anul I sa aleaga acest curs atunci cand vor opta pentru cursurile optionale din anul II. Pentru detalii privind alegerea cursurilor optionale, urmariti anunturile FMI sau intrebati la secretariat.

Protocols in Dynamic Epistemic Logic

Speaker:  Alexandru Dragomir (University of Bucharest)

Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning (epistemic actions). However, not all epistemic actions are allowed to be executed in an initial epistemic model, and this is where the concept of a protocol comes in: a protocol stipulates what epistemic actions are allowed to be performed in a model. The aim of my presentation is to introduce the audience to two accounts of protocols in DEL: one based on [1], and the second on [2].

[1] T. Hoshi, Epistemic dynamics and protocol information, PhD thesis, Stanford University, 2009.
[2] Y. Wang, Y. Epistemic Modelling and Protocol Dynamics, PhD thesis, University of Amsterdam, 2010.

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 signatures can provide adequate levels of protection. To respond to new threats we have to look at other hidden aspects such as execution behavior and fight evasive techniques by performing dynamic code analysis. This presentation discusses how to do this using runtime emulation and describes the existing challenges for the most popular architectures and executable file formats.


Colocviul de practica va avea loc Miercuri, 5.06, ora 9.00. Repartitia pe comisii va fi anuntata ulterior. Studentii au obligatia sa incarce prezentarea (fisier pdf) pana la data de 1.06.2019 (ora 24.00), folosind linkul urmator:

De asemenea, studentii trebuie sa depuna la secretariat adeverinta de practica pana luni, 3.06.2019 (ora 14.00).

House of clouds – sau cum sa auditezi un sistem in cloud

Speaker: Georgel Gheorghe este absolvent al facultatii de Electronica, Telecomunicatii si Tehnologia a informatiei. Este membru ISACA si detine certificari precum CISA (Certified Information Systems Auditor), CGEIT (Certified in the Governance of Enterprise IT) si CRISC (Certified in Risk and Information Systems Control).

Are o experienta de peste 11 ani in audit si consultanta in industrii de tipologii diferite (servicii financiare, retail, productie, telecomunicatii, energie) cu proiecte precum: evaluari ale mediilor IT&IS, audituri de conformitate, evaluari ale configurarilor de securitate, managementul vulnerabilitatilor, managementul continuitatii afacerii, managementul schimbarilor.

Dupa mai multi ani petrecuti in Deloitte, Ericson si Mazars, s-a alaturat unei noi echipe unde cunostintele si experienta sa sunt o baza solida pentru identificarea unor solutii potrivite pentru noile provocari digitale.

Abstract: Prezentarea propusa, House of clouds – sau cum sa auditezi un sistem in cloud, va aborda aspecte relevante ce tin de intelegerea si delimitarea sistemelor in scop, identificarea riscurilor si selectarea masurilor de control necesare.

In introducere, Gratiela Magdalinoiu (presedinte ISACA Romania) va face o scurta prezentare ISACA Romania.

An introduction to hybrid-dynamic first-order logic

Speaker: Ionuţ Ţuţu (Royal Holloway, University of London)

Abstract: We propose a hybrid-dynamic first-order logic as a formal
foundation for specifying and reasoning about reconfigurable
systems. As the name suggests, the formalism we develop extends
(many-sorted) first-order logic with features that are common to
hybrid and to dynamic logics. This provides certain key advantages for
dealing with reconfiguration, such as: (a) a signature of nominals,
including operation and relation symbols, that allows references to
specific possible worlds / system configurations – as in the case of
hybrid logics; (b) distinguished signatures of rigid and flexible
symbols, where the rigid symbols are interpreted uniformly across
possible worlds – this supports a rigid form of quantification, which
ensures that variables have the same interpretation regardless of the
possible world where they are evaluated; (c) hybrid terms, which
increase the expressive power of the logic in the context of rigid
symbols; and (d) modal operators over dynamic-logic actions, which are
defined as regular expressions over binary nominal relations. In this
context, we advance a notion of hybrid-dynamic Horn clause and develop
a series of results that lead to an initial-semantics theorem for the
Horn-clause fragment of hybrid-dynamic first-order logic.

Blockchain – Intro

Speaker:  Ruxandra Olimid (University of Bucharest)

Abstract: Short (crypto) introduction in Blockchain. Mostly a reading group, discussing the original bitcoin paper: