Presentation is loading. Please wait.

Presentation is loading. Please wait.

Distributed and Embedded Security group Pieter Hartel.

Similar presentations


Presentation on theme: "Distributed and Embedded Security group Pieter Hartel."— Presentation transcript:

1 Distributed and Embedded Security group Pieter Hartel

2 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

3 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

4 Current work SRO Istrice & Prosecco –Operations in the encrypted domain –Trust & Risk management –Intrusion detection –Secure Storage SRO DSN –Modelling

5 Current & Past PhDs 2009: Damiano, Mohammed 2008: Ileana, Marnix, Marcin, Raluca 2007: Nikolay, Richard 2006: Vasughi, Ricardo 2005: Jordan, Law, Gabriele 2003: Hartmut

6 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)


Download ppt "Distributed and Embedded Security group Pieter Hartel."

Similar presentations


Ads by Google