System and Formal Security Team

IST-Tagus

Welcome to the web-page of our "special interest group", joining members of different research projects who are working on security in the Tagus campus of IST.  You will find information about our research and teaching activities in the broad areas of Security and Formal Methods.  Our interests include:

  • Identity management (authorization, authentication, federation)
  • Language based security (information flow, declassification)
  • Program analysis (logics, type systems, model checking, theorem proving)
  • Security protocols (cryptographic, design and verification)
  • Societal aspects of computer security (e-voting)
  • Wireless sensor networks (message integrity and authentication)
Meetings & Visits


Address

Instituto Superior Técnico -- Tagus Park
Porto Salvo 2780-990
Portugal


Members

Ana Almeida Matos [AAM]
António Ravara [AR]
Carla Ferreira [CF]
Carlos Ribeiro [CR]
Jan Cederquist [JC]
José Santos [JS]
Maxime Gamboni [MG]
Pedro Adão [PA]
Pedro Félix [PF]
Ricardo Chaves [RC]

Research groups

GSD (Distributed systems group) of INESC (Instituto de Engenharia de Sistemas e Computadores)  [CR,PF]

SQIG (Security and Quantum Information group) of IT (Instituto de Telecomunicações)  [AAM,AR,JC,MG,PA]

Research

Projects

KLog (Logics for Security)

PRIVATO (Privacy Aware Trusted Computing)

SENSORIA (Software Engineering for Service-Oriented Overlay Computers)

Space-Time-Types (Behavioural and Spatial Type Systems)

UbiSec&Sens (Ubiquitous Sensing and Security in the European Homeland)

Events

EVTSIC’10 (Track on Specification, Verification, and Testing of Critical Systems) of INForum’10 (The Second Portuguese Symposium on Informatics).

ACM SAC 2010 SVT (Software Verification and Testing Track of the 25th Annual ACM Symposium on Applied Computing) in Sierre, Switzerland -- 22-26 March 2010.

Seminars

Information Security Seminars at IST

Logic and Computation Seminars at IST

Encontros de Quarta-feira at UL

Teaching

Degrees

Computer Science and Engineering (MEIC-T; 2nd cycle)

Communication Networks Engineering (MERC; 2nd cycle)

Information Security (DEASegInf; 3rd cycle)

Information Systems and Computer Engineering (DEIC; 3rd cycle)

Master courses

Foundations of Programming Languages (MEIC-T)  [AAM,JC,PA]

Network and Computer Security (MEIC-T e MERC)  [CR]

Master thesis

Proposals

PhD courses

Language Based Security (DEIC and DEASegInf)  [AAM]

Distributed Systems Security Protocols (DEIC and DEASegInf)  [CR]

Computational Models in Security (DEIC and DEASegInf) [JC,PA]


Last update 2010/02/03