Matteo Mattei
The Computer Scientist Matteo Maffei (TU Wien) is awarded an ERC Consolidator Grant for the project "Browsec: Foundations and Tools for Client-Side Web Security" . He is working on a plugin that will make browsers safe - and is logically impossible to fool. We are hardly aware of the dangers we face when we are browsing the web. Attackers might steal our passwords, infiltrate our computers with malicious software or impersonate us and take over our identity. There have been many attempts to increase security in web applications, but no perfect solution has ever been found. Prof. Matteo Maffei is now proposing a new idea: He is building software which monitors the data exchange between the web browser and the internet, using formal logic to detect dangerous information flows. If such a tool is designed properly, it can be mathematically proven to provide rigorous safety guarantees - so our web browsers will be secured by the laws of logic itself.
TO READ THIS ARTICLE, CREATE YOUR ACCOUNT
And extend your reading, free of charge and with no commitment.
