1 / 6

Distributed and Embedded Security group

Distributed and Embedded Security group. Pieter Hartel. 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.

trory
Download Presentation

Distributed and Embedded Security group

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Distributed and Embedded Securitygroup Pieter Hartel

  2. 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 Distributed and Embedded Security

  3. 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 How do we work?

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

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

  6. 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) Current projects & partners

More Related