Presentation on theme: "Distributed and Embedded Security group Pieter Hartel."— Presentation transcript:
Distributed and Embedded Security group Pieter Hartel
Distributed and Embedded Security Why security? –Hard: usually an afterthought –Interesting: crosscutting –Rewarding: High on government agendas Why distributed and embedded systems? –Complex, heterogeneous, networked systems –Resource constraints, hostile environments
How do we work? Theory development driven by experiments Models capture essence of behaviour –Logical models of security protocols –Information theoretic models of leakage Simulations and prototypes to validate Standard and bespoke tools to verify –CoProve for security protocol verification –UPPAAL for timed analysis Methods for systematic model construction
Current work SRO Istrice & Prosecco –Operations in the encrypted domain –Trust & Risk management –Intrusion detection –Secure Storage SRO DSN –Modelling
Current & Past PhDs 2009: Damiano, Mohammed 2008: Ileana, Marnix, Marcin, Raluca 2007: Nikolay, Richard 2006: Vasughi, Ricardo 2005: Jordan, Law, Gabriele 2003: Hartmut
Current projects & partners Istrice & Prosecco –5 x STW: Secure Grip (SAS), IPID (IS), VISPER (IS), VRIEND (IS), SEDAN (DB) –2 x BSIK: Freeband/I-Share, PointOne/ALwEN –Philips: SPCMHD (DB) DSN –EU: PROTEM (TST) –STW: A4 (TST,CAES) –NWO: MOCA (FMT,IS)
Your consent to our cookies if you continue to use this website.