Lobsters
- A Universal Control Construct for Abstract State Machines (2016) https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf 2 comments formalmethods , pdf , programming
- Impurities found in AstraZeneca vaccine: Proteins could affect quality of vaccine https://www.uni-ulm.de/home/uni-aktuell/article/verunreinigungen-im-astrazeneca-impfstoff-gefundenproteine-koennten-qualitaet-des-vakzins-beeintraechtigen/ 22 comments europe
- AndroidOS caught using plaintext auth, 99% of its' userbase affected. Wtf google? http://www.uni-ulm.de/en/in/mi/staff/koenings/catching-authtokens.html 63 comments netsec
- Personal data on Android phones not updated to gingerbread vulnerable. AuthTokens sent in plain text http://www.uni-ulm.de/en/in/mi/staff/koenings/catching-authtokens.html 3 comments technology