2021.07.12 | Public/media, CS frontpage, Featured
"I am happy about every application we have received, and I look forward to welcoming our new students" says head of department Kaj Grønbæk, and continues "However, it is worrying that we are seeing a decline in applicants for IT educations. The decline is not only at Aarhus University but is seen throughout the country, where the number of…
2021.07.05 | Public/media, Featured, CS frontpage, People
In 2020 Diego joined the Department of Computer Science as an Associate Professor in the Cryptography and Security research goup. Diego's main research interests are the efficient and secure implementation of cryptographic algorithms and protocols, an area called Cryptographic Engineering.
2021.07.05 | CPV, Public/media, Featured, CS frontpage
We are happy to welcome visiting professor Patricia Johann from Appalachian State University. Patricia will be part of Center for Basic Research in Program Verification (CPV) from August 2021 to January 2022. Along with Patricia is her postdoc Pierre Cagne. We look forward to working with you!
2021.06.29 | CS frontpage, Public/media, CASA , Featured
The paper "Fast and strong amplifiers of natural selection" by Assistant professor Andreas Pavlogiannis has just been published in Nature Communications volume 12, Article 4009.
2021.06.29 | CS frontpage, Featured, Public/media
Congratulations to assistant professor Cigdem Aslay, who has three papers, accepted at the international top conferences ICDE, SIGMOD and TKDD.
2021.06.28 | Featured, CS frontpage, Public/media
Congratulations to Postdoc Philipp G. Haselwarter and Associate Professor Bas Spitters. Their paper SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq has received the distinguished paper award at the 34th IEEE Computer Security Foundations Symposium (CSF).
2021.06.23 | CS frontpage, Featured, Public/media
Congratualations to Prof. Susanne Bødker, who now is a member of the Danish Academy of Technical Sciences (ATV). At its annual meeting on 21 June, ATV admitted 40 new members who all are technology leaders or top researchers in their respective fields.
2021.06.23 | Public/media, Featured, CS frontpage
The Cryptography and Security research group from department of Computer Science, Aarhus University, has got five papers accepted at the top conference on cryptography, Crypto 2021
2021.06.22 | Featured, Public/media, CS frontpage
Head of Department Kaj Grønbæk has just been elected chair of the the Danish Academy of Technical Sciences' (ATV) Digital Council after Ole Lehrmann Madsen.
2021.06.21 | Public/media, Featured, CS frontpage, COBRA
At the top conference within theoretical computer science: “ACM Symposion on the theory of Computing” (STOC), Professor Ivan Damgård is to receive the STOC Test of Time Award for his article on Multiparty unconditionally secure protocols (STOC, 1988)
2021.06.10 | Public/media, Featured, CS frontpage
A few years ago Davide Mottin joined the Data-Intensive Systems research group at Department of Computer Science as a Tenure Track Assistant Professor. Davide’s main research interests lies on algorithms that capture and predict phenomena in data that forms network structures, such as biological connections, social interactions, or message…
2021.06.09 | Public/media, Featured, CS frontpage
In 2020, Ioannis Caragiannis started as Professor in the Computational Complexity and Game Theory research group at the Department of Computer Science. At the department, Ioannis will follow and expand his research agenda at the interface of computer science and economics.
2021.06.09 | CS frontpage, Featured, Public/media, COBRA
Congratulations to Concordium on the official launch of the open source Concordium Blockchain. Concordium’s blockchain is a science-based proof-of-stake blockchain created with business applications in mind. It is the first blockchain with identification built into the protocol to meet regulatory requirements, while delivering a user-friendly…
2021.06.08 | CS frontpage, Featured, Public/media, COBRA
Congratulations to associate professor Diego De Freitas Aranha who has been granted DKK 2.87 million from Independent research fund Denmark for the project Residue Number Systems for Cryptography (RENAIS). The field of cryptography evolves in a non-linear way, where attacks against conventional techniques launch a new wave of ideas that make the…
2021.06.07 | CS frontpage, Featured, Public/media, CPV, COBRA
Four papers from Logic and Semantics and CoBRA were accepted at the Computer Security Foundations Symposium (CSF). CSF is an annual conference for researchers within computer security, and will take place online from June 21-24. See the full list of accepted papers and the conference program at:…
2021.06.01 | Public/media, Featured, CS frontpage
In 2019 Andreas Pavlogiannis joined the Programming Languages research group at the Department of Computer Science as a Tenure Track Assistant Professor. Since he arrived at the department, Andreas's main research has been focusing on algorithmic aspects of software verification.
2021.06.01 | CS frontpage, Featured, Public/media
IT Product Developer Christoffer and his friends had a good idea; an idea that was so good that Denmark's richest man bought part of the company. A digital welcome to shopping centres. That’s what the Aarhus IT company Emplate specialises in. Conceived in the study environment around the Department of Computer Science at Aarhus University and now…
2021.05.27 | Public/media, Featured, CS frontpage
In 2020, Amin Timany joined the Logic and Semantics research group at the Department of Computer Science as a Tenure Track Assistant Professor. Amin's research is mainly concerned with program verification.
2021.05.20 | COBRA
On Friday May 28 COBRA will be present in two sessions at this years MatchPoints conference about Democracy and Culture in a Digital Age. At 10:30 Professor Ivan Damgård will be chairing the session "Information Infrastructure: Privacy and Cybersecurity" where he will also be giving the presentation "Is Big Brother…
2021.05.19 | CS frontpage, Featured, Public/media
Millions of people use apps every day to communicate with friends, track their daily run, transfer money or check their covid-19 test result. As a result, security has become more critical than ever before, because many of these apps use and track personal data. But are they really secure? This was the focus in the final project for a class of…
