Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Roberto Gorrieri
[go: Go Back, main page]

[FOTO] [NOME]
Università di Bologna
Dipartimento di Scienze dell'Informazione
Mura Anteo Zamboni, 7
40127 Bologna, Italy
Tel: (++39)051-209.45.09
Fax: (++39)051-209.45.10
[E-MAIL]


Professional Activities
  • Research interests
  • Projects
  • Papers
  • Short Curriculum Vitae
  • Special Events
  • Summerschool on Foundations of Security Analysis and Design FOSAD'07
  • Conference on Distributed Computing Technologies Discotec'07
  • Italian Workshop on Privacy and Security Prise'07
  • IEEE Computer Security Foundations Symposium CSF'07
  • Past Events
  • Didattica (in Italian only)
  • Programmazione M-Z
  • Costrutti Linguistici e Tecniche di Verifica per Sistemi Concorrenti

  • Information on IFIP W.G. FOSAD
    (IFIP Working Group 1.7 on Foundation of Security Analysis and Design)

    Information on EATCS
    (European Association for Theoretical Computer Science)
    Other links
  • Theoretical Computer Science
  • Transactions on Petri Nets and Other Models of Concurrency
  • International Journal of Information Security
  • FOSAD mailing list
  • Back to Faculty