Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

The History of RS3 (so far)

2017,  March 27–29: Topic Workshop: "A Machine-Readable Library of Information-Flow Case Studies" in Darmstadt
2016,  August 1–3: Topic Workshop: "Developing a Consolidated Example Library of RIFL Specifications" in Karlsruhe
June 20–22: Topic Workshop: "Declassification in RIFL" in Darmstadt
June 7–8: Practitioner Event in Darmstadt
April 14–16: Topic Workshop: "Client-Server Integration in Web-Based Workflow Management Systems" in Darmstadt
April 11–14: Topic Workshop: "More Precise Classification of Sources and Sinks in RIFL" in Darmstadt
February 25–26: Topic Workshop: "Open-Source Apps in the RS3 Certifying App Store" in Königsfeld
February 22–24: Staff Meeting 2016 in Königsfeld
2015, November 23–25: Topic Workshop: "Extending RIFL" in Darmstadt
  October 5–8: Annual Meeting 2015 in Bremen
  May 6–8: Topic Workshop: "Executable Specification and Code Generation with Isabelle/HOL" in Munich
  April 27–28: Topic Workshop: "Development of a Demonstrator for the RS3 Certifying App Store" in Darmstadt
  February 23–25: Staff Meeting 2015 in Freudenstadt-Lauterbad
2014,  October 7–10: Annual Meeting 2014 in Trier
  October 1: Start of 3rd funding period of RS3
  July 28–29: Topic Workshop: "Security in-the-Large" in Darmstadt
  May 26–27: Topic Workshop: "Tool Integration in the RS3 Certifying App Store" in Darmstadt
  April 1: Deadline for submitting interim reports and new proposals for 3rd funding period of RS3
  February 3–4: Topic Workshop: "Formal Verification of Information Flow Properties of Web-Based Workflow Management Systems" in Munich
January 13–15: Staff Meeting 2014 in Bad Münster am Stein
2013,  December 20: Call for proposals for 3rd funding period of RS3 (not available online anymore)
  December 18: Topic Workshop: "Online and Offline Monitoring for Secure Usage" in Darmstadt
October 7–10: Annual Meeting 2013 in Saarbrücken
  September 3–6: Tutorial on Usage Control, Authorization and Software Engineering for Security
February 25–27: Staff Meeting 2013 in Annweiler
  February 19–20: Topic Workshop: "Information Flow in Object-Oriented Systems" in Darmstadt
2012,  October 9–12: Annual Meeting 2012 in München
  October 1: Start of 2nd funding period of RS3
  September 3–6: Tutorial on Program Analysis and Verification
  June 18: Topic Workshop: "Concurrent Noninterference" in Darmstadt
  April 1: Deadline for submitting interim reports and new proposals for 2nd funding period of RS3
  March 14–15: Topic Workshop: "Security in Business Processes" in Dortmund
  March 1–2: Topic Workshop: "Information Flow and Security in Sequential Applications" in Munich
  January 16-18: Staff Meeting 2012 in Höchst im Odenwald
2011,  December 21: Call for proposals for 2nd funding period of RS3 (not available online anymore)
  November 21: Topic Workshop: "E-Voting and Information Flow" in Karlsruhe
  November 3–4: Topic Workshop: "Information Flow Control for Mobile Devices" in Darmstadt
  October 10–13: Tutorial on Information Flow Security and Verification Tools
  September 26–29: Annual Meeting 2011 in Karlsruhe
  May 12–13: Topic Workshop: "Security Properties in Security Engineering" in Augsburg
February 21–24: Kick-Off Meeting in Darmstadt
2010,  October 1: Start of 1st funding period of RS3