A Framework for Threat-Driven Cyber Security Verification of Iot Systems

A Framework for Threat-Driven Cyber Security Verification of Iot Systems

Conference Organizers General Chairs Edson Midorikawa (Univ. de Sao Paulo - Brazil) Liria Matsumoto Sato (Univ. de Sao Paulo - Brazil) Program Committee Chairs Ricardo Bianchini (Rutgers University - USA) Wagner Meira Jr. (Univ. Federal de Minas Gerais - Brazil) Steering Committee Alberto F. De Souza (UFES, Brazil) Claudio L. Amorim (UFRJ, Brazil) Edson Norberto Cáceres (UFMS, Brazil) Jairo Panetta (INPE, Brazil) Jean-Luc Gaudiot (UCI, USA) Liria M. Sato (USP, Brazil) Philippe O. A. Navaux (UFRGS, Brazil) Rajkumar Buyya Universidade de Melbourne, Australia) Siang W. Song (USP, Brazil) Viktor Prasanna (USC, USA) Vinod Rabello (UFF, Brazil) Walfredo Cirne (Google, USA) Organizing Committee Artur Baruchi (USP-Brazil) Calebe de Paula Bianchini (Mackenzie – Brazil) Denise Stringhini (Mackenzie – Brazil) Edson Toshimi Midorikawa (USP-Brazil) Francisco Isidro Massetto (USP-Brazil) Gabriel Pereira da Silva (UFRJ - Brazil) Hélio Crestana Guardia (UFSCar – Brazil) Francisco Ribacionka (USP-Brazil) Hermes Senger (UFSCar – Brazil) Liria Matsumoto Sato (USP-Brazil) Ricardo Bianchini (Rutgers University - USA) Wagner Meira Jr. (UFMG - Brazil) Program Committee Alfredo Goldman vel Lejbman (USP-Brazil) Ismar Frango Silveira (Mackenzie-Brazil) Nicolas Kassalias (USJT-Brazil) x Computer Architecture Track Vice-chair: David Brooks (Harvard) Claudio L. Amorim (Federal University of Rio de Janeiro) Nader Bagherzadeh (University of California at Irvine) Mauricio Breternitz Jr. (Intel) Patrick Crowley (Washington University) Cesar De Rose (PUC Rio Grande do Sul) Alberto Ferreira De Souza (Federal University of Espirito Santo) Jean-Luc Gaudiot (University of California at Irvine) Timothy Jones (University of Edinburgh) David Kaeli (Northeastern University) Jose Moreira (IBM Research) Philippe Navaux (Federal University of Rio Grande do Sul) Yale Patt (University of Texas at Austin) Gabriel P. Silva (Federal University of Rio de Janeiro) Siang Wun Song (University of Sao Paulo) Radu Teodorescu (Ohio State University) Jun Yang (University of Pittsburgh) Applications and Algorithms Track Vice-chair: David Bader (Georgia Tech) Guojing Cong (IBM Research) Alvaro Coutinho (Federal University of Rio de Janeiro) Jack Dongarra (University of Tennessee) Lucia Drummond (Fluminense Federal University) Zhihui Du (Tsinghua University) Geoffrey Fox (Indiana University) Rafael Lins (Federal University of Pernambuco) Kamesh Madduri (Lawrence Berkeley National Laboratory) Greg Malewicz (Google) Osni Marques (Lawrence Berkeley National Laboratory) Manish Parashar (Rutgers University) Jason Riedy (University of California at Berkeley) Jose Hiroki Saito (Federal University of Sao Carlos) Olaf Schenk (University of Basel) Siang Wun Song (University of Sao Paulo) Denis Trystram (Grenoble University and INRIA) Systems Software Track Vice-chair: Dilma da Silva (IBM Watson) Dorian Arnold (University of New Mexico) Luiz DeRose (Cray) Renato Figueiredo (University of Florida) Alfredo Goldman (University of Sao Paulo) Laxmikant Kale (University of Illinois at Urbana-Champaign) Ron Minnich (Sandia National Laboratory) Jairo Panetta (INPE/CPTEC) Lawrence Rauchwerger (Texas A&M) Liria Sato (University of Sao Paulo) Alan Sussman (University of Maryland) Dan Tsafrir (IBM Research) Hakim Weatherspoon (Cornell University) Erez Zadok (State University of New York at Stony Brook) xi Networking and Distributed Systems Track Vice-chair: Y. Charlie Hu (Purdue) Jussara Almeida (Federal University of Minas Gerais) Marinho Pilla Barcellos (Federal University of Rio Grande do Sul) Francisco Brasileiro (Federal University of Campina Grande) Ali R. Butt (Virginia Tech) Ronaldo Alves Ferreira (Federal University of Mato Grosso do Sul) Jose Fortes (University of Florida) Luciano Paschoal Gaspary (Federal University of Rio Grande do Sul) Chuanxiong Guo (Microsoft Research) Bruno Schulze (LNCC) Jia Wang (AT&T Research) xii.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    3 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us