News Archive
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 working in the fields of games, automata, logics, and formal verification. Hence, GandALF 2018 covers a wide spectrum of themes to stimulate cross-fertilization, ranging from theory to applications.
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 million euros to pursue their research projects. ERC Starting Grants are awarded annually by the European Research Council. The prestigious grants are awarded [...]
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 a methodology for this cryptocurrency that not only finds security vulnerabilities, but also uses them to automatically develop attacks. [...]
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 price. Institutions are becoming both victims and perpetrators. Researchers at the CISPA Helmholtz Centre in Saarbrücken are consequently investigating the global security status of the internet using formal methods.
People recognize gestures and interpret glances very quickly and almost automatically. Computers and robots cannot do this. That is why scientists around the world are working on ways to make human-computer collaboration more social, efficient and flexible. Computer scientists from Saarbrücken and Stuttgart have now reached an important milestone together with psychologists from Australia. The software system they developed processes a person’s eye movements to calculate whether they are vulnerable, sociable, tolerant, conscientious or curious.
5556575859 ...
67»