Main page

---

• Dagstuhl seminar on Security through Analysis and Verification
• Computer Security Foundations Workshop (CSFW14)
• 2nd International School in Foundations of Security Analysis and Design (FOSAD'01)
• VERIFY'02
• 1st International Workshop on Issues in Security and Petri Nets (WISP'03)
• Computer Security Foundations Workshop (CSFW16)
• Workshop on Formal Aspects in Security and Trust (FAST'03)
• Dagstuhl seminar on Language-based Security (DS-LBS)
• International Symposium on Software Security (ISSS2003)
• 1st International Workshop on Formal Methods and Web Services (WS-FM 2004)
• 2nd International Conference on Trust Management
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04)
• 4th International School on Foundations of Security Analysis and Design (FOSAD'04)
• Workshop on Safety And Security in Multi-Agent Systems 2004
• 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP'04)
• 2nd International Workshop on Formal Aspects in Security and Trust (FAST'04)
• First Workshop on Quality of Protection (Qop)
• 1st International Workshop of ERCIM WG on Security and Trust Management (STM05)
• 1st International Workshop on Application of Constraint Satisfaction and Programming to Computer Security(CPsec)
• 3rd IEEE International Conference on Pervasive Computing and Communications (Percom2005)
• 2nd International Workshop on Formal Methods and Web Services (WS-FM 2005)
• 5th International School on Foundations of Security Analysis and Design (FOSAD'05)
• 3rd International Conference on Trust Management (iTrust2005)
• 2nd International Workshop on Safety and Security in Multi-Agent Systems (SASEMAS '05)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)
• 2nd Int. Conference on Trust and Privacy in Digital Business(TRUSTBUS05)
• International WorkShop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS 2005)
• 3rd International Workshop on Formal Aspects in Security and Trust (FAST'05)
• ARTIST2 WORKSHOP ON SECURITY SPECIFICATION AND VERIFICATION OF EMBEDDED SYSTEMS
• International Workshop on Trust, Security and Privacy for Ubiquitous Computing (TSPUC06)
• International Workshop Models of Trust for the Web (MTW'06)
• 3rd Int. Conference on Trust and Privacy in Digital Business(TRUSTBUS06)
• Beyond the Horizon (BTH) Plenary Workshop
• Int. Conference on Ambient Intelligence Developments (AMid'06)
• EU-US Summit Series on Cyber Trust - Workshop on System Dependability and Security
• 2nd Internation Workshop on Security and Trust manageemnt (STM06)
• 4th International Workshop on Formal Aspects in Security and Trust (FAST 2006)
• 4th International Conference on Trust Management (iTrust 2006)
• Workshop on Information and Computer Security ICS 2006
• 6th International School on Foundations of Security Analysis and Design (FOSAD'06)
• The 2007 European PKI Workshop: Theory and Practice (EuroPKI'07)
• IFIPTM 2007 Joint iTrust and PST Conferences on Privacy, Trust Management and Security
• Dagstuhl seminar on Mobility, Ubiquity and Security (2007)
• 2nd International Conference on Bio inspired Models of Network, Information and Computing Systems BIONETICS 2007
• ACM Symposium on Applied Computing (SAC'07) TRECK track: Trust, Recommendations, Evidence and other Collaboration Know-how
• 4th International Workshops "Mathematical Methods, Models and Architectures for Computer Network Security" (MMM-ACNS-2007)
• 2nd International Conference on Availability, Reliability and Security (AReS 2007)
• 1st International Workshop on Security Technologies for Next Generation Collaborative Business Applications (SECOBAP'07)
• 7th International School in Foundations of Security Analysis and Design (FOSAD'07)
• 6th International Verification Workshop – VERIFY-2010
• 6th International Workshop on Formal Aspects in Security and Trust(FAST09)
• 6th International Workshop on Public Key Services, Applications and Infrastructures (EUROPKI09)
• 12th Information Security Conference (ISC 2009)
• 5th International Workshop on Security and Trust Management (STM09)
• 9th International School in Foundations of Security Analysis and Design (FOSAD'09)
• IFIP International Conference on Trust Management (IFIPTM 2009)
• Inco-Trust: ICT Trust, Security and Privacy from six nations - EU, USA, Japan, Korea and Australia.
• 6th International Conference on Trust, Privacy & Security in Digital Business
• Dependable Computing and Communications Symposium (DSN-DCCS)
• WWW 2009 - Security Track
• 24th IFIP International information Security Conference (IFIP-SEC 2009)
• The First International ICST Conference on Security and Privacy in Mobile Information and Communication Systems
• ACM Symposium on Applied Computing (SAC'09) TRECK track: Trust, Recommendations, Evidence and other Collaboration Know-how (TRECK 09)
• ACM Symposium on Applied Computing (SAC'09) Track on Computer Security (8th edition)
• The Fourth International Conference on Information Assurance and Security (IAS 08)
• 4th International Workshop on Security and Trust Management (STM08)
• 4th ACM Workshop on QoS and Security for Wireless and Mobile Networks (Q2SWINET 2008).
• 5th International Workshop on Web Services and Formal Methods (WS-FM 08)
• 5th International Workshop on Formal Aspects in Security and Trust(FAST08)
• 8th International School in Foundations of Security Analysis and Design (FOSAD'08)
• 13th European Symposium on Research in Computer Security (ESORICS 2008)
• 16th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2008) - Special Session on "Security in Networked and Distributed Systems"
• The 2008 European PKI Workshop: Theory and Practice (EuroPKI'08)
• ACM Symposium on Applied Computing (SAC'08) TRECK track: Trust, Recommendations, Evidence and other Collaboration Know-how
• Symposium on Requirements Engineering for Information Security SREIS 2008
• IFIP International Conference on Trust Management (IFIPTM 2008)
• First International Workshop on Advances in Policy Enforcement (APE'08)
• First International Workshop on Security, Trust and Privacy in Grid Systems (Grid-STP 2007)
• 2nd Workshop EU/US Summit Series on Cyber Trust: System Dependability & Security
• 12th European Symposium on Research in Computer Security (ESORICS 2007)