Bugs in smart contracts can cause huge financial losses. We developed an analysis that can guarantee the absence of a dangerous class of such bugs.
We propose a static analysis technique to enforce session integrity on web applications.
The use of so-called Contact Tracing Apps for slowing the spread of Covid-19 is intensely discussed at the moment. We shed light on the workings of these Apps.