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.…
GandALF 2018, the Ninth International Symposium on Games, Automata, Logics, and Formal Verification, will be held September 26–28 in Saarbrücken. It is the first time that the symposium is taking place outside of Italy. The aim of symposium is to bring together researchers from academia and industry who are actively…
The European Research Council (ERC) has awarded its 2018 Starting Grants. In this year's funding round, two researchers from Saarland Informatics Campus (SIC) were successful. Andreas Bulling, Max Planck Institute for Informatics, and Björn Brandenburg, Max Planck Institute for Software Systems, received an ERC Starting Grant and up to 1.5…
Cryptocurrencies like Bitcoin are increasingly attracting millions of users, but also cybercriminals, as a successful attack means maximum profit with little risk. This also applies to "ether," the most widely used cryptocurrency after Bitcoin. As a precautionary measure, researchers at the CISPA Helmholtz Center i.G. at Saarland University have developed…
The internet has developed over time and is able to function because of the interplay between various services that are, in turn, operated by a range of different institutions. Frequently, IT security does not play a significant role and, as shown by the latest attacks, we are now paying the…
