activity
20192023
most citedRosita: Towards Automatic Elimination of Power-Analysis Leakage in Ciphers

34 citations · 64 across the 14 of their papers we have counts for

collaborators

14 papers

cs.SE2023

Using the TypeScript compiler to fix erroneous Node.js snippets

Brittany Reid, Christoph Treude, Markus Wagner

Most online code snippets do not run. This means that developers looking to reuse code from online sources must manually find and fix errors. We present an approach for automatical…

cs.SE2023

Wait, wasn't that code here before? Detecting Outdated Software Documentation

Wen Siang Tan, Markus Wagner, Christoph Treude

Encountering outdated documentation is not a rare occurrence for developers and users in the software engineering community. To ensure that software documentation is up-to-date, de…

cs.CR2023

CryptOpt: Automatic Optimization of Straightline Code

Joel Kuepper, Andres Erbsen, Jason Gross +9

Manual engineering of high-performance implementations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; h…

cs.SE2023

Applying Information Theory to Software Evolution

Adriano Torres, Sebastian Baltes, Christoph Treude +1

Although information theory has found success in disciplines, the literature on its applications to software evolution is limit. We are still missing artifacts that leverage the da…

cs.SE2023

Socialz: Multi-Feature Social Fuzz Testing

Francisco Zanartu, Christoph Treude, Markus Wagner

Online social networks have become an integral aspect of our daily lives and play a crucial role in shaping our relationships with others. However, bugs and glitches, even minor on…

cs.SE2022

Detecting Outdated Code Element References in Software Repository Documentation

Wen Siang Tan, Markus Wagner, Christoph Treude

Outdated documentation is a pervasive problem in software development, preventing effective use of software, and misleading users and developers alike. We posit that one possible r…

cs.CR2022

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)

Joel Kuepper, Andres Erbsen, Jason Gross +9

Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have th…

cs.SE2022★ 3 cited

Automatically Categorising GitHub Repositories by Application Domain

Francisco Zanartu, Christoph Treude, Bruno Cartaxo +4

GitHub is the largest host of open source software on the Internet. This large, freely accessible database has attracted the attention of practitioners and researchers alike. But a…

cs.CL2022★ 1 cited

Is Surprisal in Issue Trackers Actionable?

James Caddy, Markus Wagner, Christoph Treude +2

Background. From information theory, surprisal is a measurement of how unexpected an event is. Statistical language models provide a probabilistic approximation of natural language…

cs.SE2022★ 1 cited

On the Utility of Marrying GIN and PMD for Improving Stack Overflow Code Snippets

Sherlock A. Licorish, Markus Wagner

Software developers are increasingly dependent on question and answer portals and blogs for coding solutions. While such interfaces provide useful information, there are concerns t…

cs.SE2022★ 9 cited

Software Engineering User Study Recruitment on Prolific: An Experience Report

Brittany Reid, Markus Wagner, Marcelo d'Amorim +1

Online participant recruitment platforms such as Prolific have been gaining popularity in research, as they enable researchers to easily access large pools of participants. However…

cs.CR2021★ 12 cited

Rosita++: Automatic Higher-Order Leakage Elimination from Cryptographic Code

Madura A. Shelton, Łukasz Chmielewski, Niels Samwel +3

Side-channel attacks are a major threat to the security of cryptographic implementations, particularly for small devices that are under the physical control of the adversary. While…

cs.SE2021★ 4 cited

What makes a good Node.js package? Investigating Users, Contributors, and Runnability

Bodin Chinthanet, Brittany Reid, Christoph Treude +4

The Node.js Package Manager (i.e., npm) archive repository serves as a critical part of the JavaScript community and helps support one of the largest developer ecosystems in the wo…

cs.CR2019★ 34 cited

Rosita: Towards Automatic Elimination of Power-Analysis Leakage in Ciphers

Madura A Shelton, Niels Samwel, Lejla Batina +3

Since their introduction over two decades ago, side-channel attacks have presented a serious security threat. While many ciphers' implementations employ masking techniques to prote…