TUM Logo

Past events

  • 2018-12-20T13:15:00+01:00
  • 2018-12-20T14:15:00+01:00
December 20 Thursday

Dec 20, 2018 from 01:15 PM to 02:15 PM
AISEC

Title: Avoiding smart contract vulnerabilities: An inter-contract concolic execution framework for Ethereum contracts

  • 2018-12-07T10:00:00+01:00
  • 2018-12-07T12:00:00+01:00
December 7 Friday

Dec 07, 2018 from 10:00 AM to 12:00 PM
TUM - 01.08.033

Title: Continuous Test-based Certification of Cloud Services

  • 2018-10-31T09:30:00+01:00
  • 2018-10-31T10:30:00+01:00
October 31 Wednesday

Oct 31, 2018 from 09:30 AM to 10:30 AM
01.08.033

Title: Data Flow Analysis of EVM Smart Contracts

  • 2018-10-22T18:00:00+02:00
  • 2018-10-22T19:00:00+02:00
October 22 Monday

Oct 22, 2018 from 06:00 PM to 07:00 PM
TUM - 01.08.033

Title: Analysis of the Wireless Security of an Insulin Pump System