Oι ομιλίες δίνονται (πλην εξαιρέσεων) στην Αίθουσα Τηλεσυσκέψεων, 2os
όροφος, Kέντρο Δικτύων, στο Tμήμα Πληροφορικής & Tηλεπικοινωνιών, oπότε
και μεταδίδονται σε πραγματικό χρόνο στο διαδίκτυο. Για οδηγίες σύγχρονης
παρακολούθησης και παρακολούθησης των αποθηκευμένων video, δείτε
http://mc.gunet.gr/hlive.html.
Φυσική πρόσβαση: με λεωφορείο
ή μετρό-λεωφορείο.
|
|
|
13.00 |
(University of Connecticut) |
|
15.00 |
|
|
14:15 ** Aίθουσα ΣT' ** |
(Boston University) |
(περίληψη) |
12.00 |
(Rice U.) |
Computing Meets the Physical World (περίληψη) |
Σε αυτή την ομιλία θα παρουσιάσω περιληπτικά μερικά πρόσφατα αποτελέσματα
μου στην κρυπτογραφία και ασφάλεια υπολογιστών που σχετίζονται με τα εξής:
(1) Κρυπτογραφία για διαχείρηση δικαιωμάτων σε ψηφιακά δεδομένα (Digital
Rights Management): πώς η κρυπτογραφία μπορεί να χρησιμοποιηθεί για την
προστασία των
πνευματικών δικαιωμάτων σε συστήματα διανομής ψηφιακών δεδομένων.
(2) Σχεδιασμός αποδείξεων μηδενικής γνώσης και εξειδικευμένων ηλεκτρονικών
υπογραφών με εφαρμογές στην κατασκευή συστημάτων αναγνώρισης ταυτότητας
που παρέχουν ταυτόχρονα διάφορα επίπεδα προστασίας των προσωπικών δεδομένων
των χρηστών.
(3) Συστήματα ηλεκτρονικών εκλογών: σχεδιασμός κατανεμημένων αρχιτεκτονικών
για ψηφοφορίες μέσω Διαδικτύου καθώς και ανάλυση ασφάλειας ειδικών υπολογιστικών
συστημάτων ηλεκτρονικής καταγραφής ψήφου (direct recording electronic)
και οπτικής ανάγνωσης (optical scan).
Σε πολλές εφαρμογές δικτύων ομότιμων κόμβων (P2P networks) απαιτείται η δυνατότητα παροχής στους κόμβους υπηρεσιών ασφάλειας, όπως είναι η αυθεντικοποίηση, η κρυπτογράφηση και ο καταλογισμός ευθύνης. Τέτοιες υπηρεσίες υλοποιούνται συνήθως με τη βοήθεια μίας Υποδομής Δημόσιου Κλειδιού (ΥΔΚ). Όμως, η χρήση μίας εξωτερικής Υποδομής δεν είναι αρκετά αποδοτική για κατανεμημένα δίκτυα όπως τα δίκτυα ομότιμων κόμβων.
Στην παρουσίαση αυτή θα περιγραφεί μία αρχιτεκτονική για την ενσωμάτωση
μίας ΥΔΚ σε ένα δίκτυο ομότιμων κόμβων. Συγκεκριμένα, θα περιγραφεί η ενσωμάτωση
των υπηρεσιών πιστοποίησης (certification), ανάκλησης (revocation), αποθήκευσης
και αναζήτησης πιστοποιητικών στο δίκτυο
oμότιμων κόμβων Chord. Για την υλοποίηση αυτής της αρχιτεκτονικής θα
γίνει χρήση των υπηρεσιών
κατανεμημένης αποθήκευσης και αναζήτησης του Chord. Επίσης, θα γίνει
εφαρμογή κρυπτογραφικών τεχνικών όπως είναι η κρυπτογραφία κατωφλίου (threshold
cryptography) και η προληπτική ανανέωση κλειδιού (proactive key update).
I will present some recent advances in Computational Game Theory and
particularly in computing and approximating Nash equilibria. As you may
have already known, the notion of Nash equilibria has captured the imagination
of much of the computer science theory community, both for its many applications
in the growing domain of online interactions and for its deep and fundamental
mathematical structures. As the complexity and scale of typical internet
applications increase, the
problem of efficiently analyzing their game-theoretic properties becomes
more pointed.
I will cover the recent results in settling several open questions about
Nash equilibria. I will particularly focus on the complexity of approximation
in, as well as the smoothed complexity of,
non-cooperative two-player games. Those results link the computational
complexity of Nash equilibria to Brower's fixed point, Sperner's lemma,
and to Papadimitriou's complexity class, PPAD, characterized by the end-of-line
problem.
If time permits, I will also cover the extensions of these results to other equilibrium problems such as in trading and market economies.
Joint work with Xi Chen (Tsinghua University), Xiaotie Deng (The City
University of Hong Kong). Also with Li-Sha Huang (Tsinghua University)
and Paul Valiant (MIT).
Representing shape and motion in the physical world is a core problem in applications ranging from robotics to modeling biomolecular interactions. Our laboratory has pioneered motion planning algorithms that have enjoyed widespread success and have fueled significant research developments. This talk will first present our latest work on motion planning under physical constraints. Then it will shown how we use the experience we have gained through robotics to develop algorithms that analyze the flexibility of biomolecules. The implications of our work to drug discovery will be discussed. Our research represents a new trend in computer science: the development of algorithms for solving complex high-dimensional geometric problems arising in the physical world. We will highlight the challenges we face as well as the opportunities we have to impact molecular biology and medicine.
Biographical Sketch.
Lydia E. Kavraki is the Noah Harding Professor of Computer Science
at Rice University. She also holds joint appointments at the Department
of Bioengineering at Rice and the Department of Structural and Computational
Biology and Molecular Biophysics at Baylor College of Medicine. Kavraki
received her B.A. from the University of Crete and her Ph.D. in Computer
Science from Stanford University. For more information see http://www.cs.rice.edu/~kavraki
.