Organisation
Distributed and Secure Software (DistriNet)
Division
Distributed and Secure Software (DistriNet)
Current researchers
1 - 10 of 117 results
- Wouter Joosen (Responsible)
- Shuaibu Musa Adam (Member)
- Fritz Alder (Member)
- Alicia Andries (Member)
- Angelos Beitis (Member)
- Jonah Bellemans (Member)
- Yolande Berbers (Member)
- Márton Bognár (Member)
- Ilse Bohé (Member)
- Jeroen Boydens (Member)
Projects
1 - 10 of 241
- Trusted Computing for Low End MicrocontrollersFrom14 Mar 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Software Verification in the presence of Resource Revocation using Multi-Modal Separation LogicFrom26 Feb 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Sabbatical Tom Holvoet: Study and verification of vulnerabilities in smart contracts for decentralized software systems in a blockchain environmentFrom12 Feb 2024 → TodayFunding: BOF - mobility
- Sabbatical Tom Holvoet: Study and verification of vulnerabilities in smart contracts for decentralized software systems in a blockchain environmentFrom12 Feb 2024 → TodayFunding: FWO Prices and sabbaticals (before FWO undefined)
- SECDES: By-design cyber secure digital productsFrom1 Feb 2024 → TodayFunding: VLAIO - Flanders' FOOD - COOCK
- Data-driven Analysis of Cybercrime EcosystemsFrom18 Dec 2023 → TodayFunding: BOF - projects
- Optimizing testing strategies to deal with software variabilityFrom26 Oct 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- AI-Driven Network Security: Contextual Analysis of Sequential Data for Threat DetectionFrom23 Oct 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Towards robust ML-based cybersecurity systemsFrom18 Oct 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Machine learning operations strategies for condition monitoring at the edgeFrom5 Oct 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
Publications
21 - 30 of 1540
- Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs(2020)
Authors: Bart Jacobs
Pages: 509 - 524 - An object-oriented framework for aspect-oriented languages(2012)
Authors: Marko van Dooren, Eric Steegmans, Wouter Joosen, Eric Tanter, Kevin Sullivan, Richard Gabriel
Pages: 215 - 226 - Mobile device fingerprinting considered harmful for risk-based authentication(2015)
Authors: Jan Spooren, Davy Preuveneers, Wouter Joosen
Pages: 6:1 - 6:1 - MAsCOT: Self-adaptive opportunistic offloading for cloud-enabled smart mobile applications with probabilistic graphical models at runtime(2016)
Authors: Syeda Nayyab Zia Naqvi, Davy Preuveneers, Yolande Berbers
Pages: 5701 - 5710 - Semantic analysis and verification of context-driven adaptive applications in intelligent environments(2016)
Authors: Davy Preuveneers, Wouter Joosen
Pages: 53 - 73 - A reconfigurable component model with semantic type system for dynamic wsn applications(2012)
Authors: Klaas Thoelen, Danny Hughes, Nelson Matthys, Davy Preuveneers, Sam Michiels, Christophe Huygens, Wouter Joosen
Pages: 277 - 290 - Model-based enhancement of software performance for precision critical systems(2010)
Authors: Naeem Muhammad, Nelis Boucké, Yolande Berbers, Ian Gorton, Carlos E Cuesta, Muhammad Ali Babar
Pages: 27 - 30 - Teamwork on the road: Efficient collaboration in VANETs with context-based grouping(2011)
Authors: Koosha Paridel, Ansar-Ul-Haque Yasar, Yves Vanrompay, Davy Preuveneers, Yolande Berbers, Elhadi M Shakshuki, Muhammad Younas
Pages: 48 - 57 - A framework to test and fuzz Wi-Fi devices(2021)
Authors: Mathy Vanhoef
Pages: 368 - 370Number of pages: 3 - Chimera: A low-power reconfigurable platform for Internet of Things(2021)
Authors: Emekcan Aras, Fan Yang, Wouter Joosen, Danny Hughes
Pages: 1 - 25