[ðáëéü] 6/4/2006 Ïìéëßá êáè. J. Ullman "Datalog meets D

[Tomahawk]

[Απο mail του κυριου Βασσαλου]

Ομιλία καθηγητή J. Ullman

Την Πεμπτη 6/4 στις 17:00 στο αμφιθέατρο πολυμέσων (κάτω από την κεντρική βιβλιοθήκη) στο κτιριο κεντρικης βιβλιοθηκης ΕΜΠ (Ζωγράφου) θα δώσει διάλεξη ο καθηγητης
Jeffrey D. Ullman με θέμα

\"Datalog meets Data Flow\".

Σας προτρύνω να την παρακολουθήσετε αν μπορείτε, ειδικά αν παρακολουθείτε/έχετε παρακολουθήσει και μεταγλωττιστές.

Περίληψη ομιλίας:
As the Internet becomes a nastier place, securing code against vulnerabilities becomes a responsibility of the first magnitude. A key technology for finding vulnerabilities in code is \"data-flow analysis\" (DFA), a body of techniques originally designed to perfrom code optimization in compilers. It has recently been observed that Datalog --- a language originally designed as an extension to SQL for database systems --- is the right tool for describing and implementing DFA. We shall discuss several vulnerabilities, including buffer overflows and SQL injections, and see how DFA can detect these vulnerabilities. We then show how DFA can be expressed in Datalog and discuss some efficiency issues.
---

Τη γλώσσα Datalog θα τη δούμε αργότερα στο εξάμηνο. Είμαι βέβαιος ότι θα υπάρχει κατάλληλη εισαγωγή στη διάλεξη για να μπορείτε να παρακολουθήσετε.

Ο διδάσκων.