System and Formal Security Team

Visits

• 24th of October -- 29 of October
  Gustavo Petri, INRIA Sophia-Antipolis
  Tamara Rezk, INRIA Sophia-Antipolis
  

Meetings

Schedulled meetings

• 27th of October, 13h30
  
  Ana: Flow policy awareness for distributed mobile code
  
  I will discuss a paper that I will (re)-submit on the 10th of November, and need some feedback.
  This will be a lunch talk (we can bring sandwiches...).
  
  
• 30th of July, 15h
  
  Carla:
  Jan:  Fairness constraints for the Dolev-Yao attacker model
  Pedro F:  Identity and Access Control in Decentralized Systems
  Ricardo:
  
  
• 24th of July, 14h, room 0.9
  
  In our first meeting each of us will present (in 10 mins) our ongoing work:
  
  Ana:  Information flow and distributed mobile code
  António:  Behavioural types - from calculi to programming languages
  Carlos:  Cooperative key generation and distribution in sensor networks
  Jan:  Fairness constraints for the Dolev-Yao attacker model
  Pedro A:  Correct Abstractions of Security Primitives
  
  

Our availability