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:
|
Meetings
&
Visits |
AddressInstituto Superior Técnico -- Tagus ParkPorto Salvo 2780-990 Portugal |
MembersAna 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
|
ProjectsKLog (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). |
SeminarsInformation Security Seminars at ISTLogic and Computation Seminars at IST Encontros de Quarta-feira at UL |
Degrees
Computer
Science and Engineering (MEIC-T; 2nd cycle) |
Master courses
Foundations of Programming Languages (MEIC-T) [AAM,JC,PA] |
PhD courses
Language
Based Security (DEIC and DEASegInf) [AAM] |