Workshop Program

Session 1: Opening and Keynote

Monday, Oct. 31, 8:45 - 10:00 EDT (12:45 - 14:00 UTC)

Session Chair: Raffaele Della Corte

  • Welcome and Opening
    Raffaele Della Corte, Marta Catillo, João F. Ferreira and Guanpeng (Justin) Li
  • Keynote Talk: Moving Target Defense (MTD): Recent Advances and Future Research Challenges.
    Dongseong Dan Kim

Session 2: Dependability of Machine Learning and Security-related Practices

Monday, Oct. 31, 10:30 - 12:00 EDT (14:30 - 16:00 UTC)

Session Chair: Vittorio Orbinato

  • TENSORFI+: A Scalable Fault Injection Framework for Modern Deep Learning Neural Networks.
    Sabuj Laskar, Md Hasanur Rahman and Guanpeng Li
  • Sentinel: A Multi-institution Enterprise Scale Platform for Data-driven Cybersecurity Research.
    Alastair Nottingham, Molly Buchanan, Mark Gardner, Jason Hiser and Jack Davidson
  • Invited Talk: SECOM: Towards a convention for security commit messages
    Rui Abreu

Session 3: Artificial Intelligence for Testing and Monitoring

Monday, Oct. 31, 13:30 - 15:00 EDT (17:30 - 19:00 UTC)

Session Chair: Raffaele Della Corte

  • Automated Test Case Generation from Input Specification in Natural Language.
    Tianyu Li, Xiuwen Lu and Hui Xu
  • D2MON: Detecting and Mitigating Real-Time Safety Violations in Autonomous Driving Systems.
    Bohan Zhang, Yafan Huang, Rachael Chen and Guanpeng Li
  • The AID4TRAIN project and Closing Remarks
    Raffaele Della Corte, Marta Catillo, João F. Ferreira and Guanpeng (Justin) Li