Software systems are prone to attacks if users do not use them properly. This also applies to so-called cryptocurrencies, experts say. For the cryptocurrency Bitcoin, two computer scientists at the CISPA Helmholtz Center are now providing scientific proof. Over several months, they searched publicly available information for disclosed security details. Their conclusion: Cybercriminals could have stolen virtual coins worth about 3.3 million US dollars with the help of the search hits. The two researchers are now presenting their approach at the international symposium RAID 2018 in Heraklion, the capital of Crete.
read more >> 24.08.18
GandALF 2018, the Ninth International Symposium on Games, Automata, Logics, and Formal Verification, will be held September 26–28 in Saarbrücken.
read more >>
| Published in: | Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018 |
|---|---|
| Year: | 2017 |
| Volume: | 4 |
| Pages: | 18 |