SPIoT 2019 Contributors -

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (24)

A Juan Carlos AugustoAugusto, Juan Carlos Middlesex University, UK Committee Member in Program Committee within the SPIoT-track
B Richard BayfordBayford, Richard Middlesex University, UK Committee Member in Program Committee within the SPIoT-track
Najah Ben SaidBen Said, Najah Verimag Committee Member in Program Committee within the SPIoT-track
Saddek BensalemBensalem, Saddek Verimag Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
C Albert CohenCohen, Albert GoogleFrance Committee Member in Program Committee within the SPIoT-track
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Static Analysis for the OWASP IoT Top 10 2018.
Ioana CristescuCristescu, Ioana INRIA, France Committee Member in Program Committee within the SPIoT-track
F Pietro FerraraFerrara, Pietro JuliaSoft SRL, ItalyItaly Static Analysis for the OWASP IoT Top 10 2018.
G Jose Gines Gimenez ManuelGimenez Manuel, Jose Gines Middlesex UniversityUnited Kingdom Committee Member in Program Committee within the SPIoT-track
J Peter Gjøl JensenJensen, Peter Gjøl Aalborg University, Denmark ADTLang: A Programming Language Approach to Attack Defense Trees
Simon JonesJones, Simon Middlesex UniversityUnited Kingdom Committee Member in Program Committee within the SPIoT-track
K Florian KammüllerKammüller, Florian Middlesex University, UK The Refinement-Risk Loop - A Process for Security Engineering in Isabelle Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Insoo KooKoo, Insoo University of Ulsan, South Korea Graph-based Technique for Survivability Estimation and Optimization of IoT Applications
Jan KretinskyKretinsky, Jan Technical University of MunichGermany Invited Talk: Expected Cost Analysis of Attack-Defence Trees
L Kim LarsenLarsen, Kim Aalborg UniversityDenmark ADTLang: A Programming Language Approach to Attack Defense Trees
Axel LegayLegay, Axel INRIA RennesFrance ADTLang: A Programming Language Approach to Attack Defense Trees Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
M Amit Kr MandalMandal, Amit Kr Università Ca' Foscari, Venezia, Italy Static Analysis for the OWASP IoT Top 10 2018.
P Danny Bøgsted PoulsenPoulsen, Danny Bøgsted University of Kiel, Germany ADTLang: A Programming Language Approach to Attack Defense Trees
Q Jean QuilbeufQuilbeuf, Jean INRIAFrance Committee Member in Program Committee within the SPIoT-track
R René Rydhof HansenRydhof Hansen, René Aalborg University, Denmark ADTLang: A Programming Language Approach to Attack Defense Trees
S Stefano SchivoSchivo, Stefano Open University of the NetherlandsNetherlands Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Vladimir ShakhovShakhov, Vladimir University of Ulsan, South Korea Graph-based Technique for Survivability Estimation and Optimization of IoT Applications
Fausto SpotoSpoto, Fausto U. Verona Static Analysis for the OWASP IoT Top 10 2018.
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Learning from attacks and failures: generating reliability models from data Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track