DistriNet Research Group

Distributed software - More and more companies, individuals and organizations collaborate by using network connections; the appropriate software systems therefore have to reach far beyond the management and deployment of underpinning network infrastructures.

Secure software - e-commerce, e-health and e-government are gaining popularity; this evolution creates a need for secure software applications, secure system software and secure network infrastructures.

• Security and Privacy for Online Social Networks (SPION) have become an important part of daily digital interactions for more than half a billion users around the world. The various personal information sharing practices that online social network providers promote have led to their success as innovative social interaction platforms. At the same time, these practices have raised much critique and concerns with respect to privacy and security from different stakeholders.
• BioCo3 is an interdisciplinary project involving computer science, biology, operations research and logistics expertise. The project studies decentralized approaches for controlling large-scale, dynamic systems - e.g. for controlling a large number of vehicles that need to accomplish transport tasks for clients.
• The WebSand project aims to substantially improve web application security, while taking into account the emerging trends of the Future Internet. To improve the end-to-end security in the Internet of the future, this project envisages a server-driven sandboxing approach with server and client side enforcement of desired security properties.
• The Network of Excellence on Engineering Secure Future Internet Software Services and Systems (NESSoS) aims at constituting and integrating a long lasting research community on engineering secure softwarebased
  services and systems.
• BRAVEHEALTH proposes a patient centric vision to CVD management and treatment, providing people already diagnosed as subjects at risk with a sound solution for continuous and remote monitoring and real time prevention of malignant events.

• Koen Yskout, Riccardo Scandariato, Wouter Joosen, Does organizing security patterns focus architectural choices?, ICSE, Zurich, Switserland, 2-9 June 2012
• Aram Hovsepyan, Riccardo Scandariato, Stefan Van Baelen, Wouter Joosen, Serge Demeyer, Preserving aspects via automation: a maintainability study, International Symposium on Empirical Software Engineering and Measurement, pages 1-10, Banff, Canada, 22-23 September 2011
• Philippe De Ryck, Lieven Desmet, Wouter Joosen, Frank Piessens, Automatic and precise client-side protection against CSRF attacks, European Symposium on Research in Computer Security (ESORICS 2011), Lecture Notes in Computer Science, volume 6879, pages 100-116, Leuven, Belgium, 12-14 September 2011
• Dominique Devriese, Frank Piessens, On the bright side of type classes: instance arguments in Agda, Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), pages 143-155, Tokyo, Japan, 19-21 September 2011
• Bart Jacobs, Frank Piessens, Expressive modular fine-grained concurrency specification, Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2011), pages 271-282, Austin, TX, USA, 26-28 January 2011

[Publications ...]