Veranstaltungen

• 18:00

  Tag 3
  Trustworthy Systems Meetup (security&correctness proofs in practical systems)
  trustworthy-systems

  sel4

  formal-methods

  security-guarantees