Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jonas Wagner

dblp:145/5117 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
0since 2021 · last 2020
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Systems and software security · 67% Blockchain and cryptocurrency security · 33%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Performance modeling and evaluation · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security
memory safety
0.212015
High System-Code Security with Low Overhead · IEEE Symposium on Security and Privacy 2015
Systems and software security › security policy enforcement
runtime enforcement
0.212015
High System-Code Security with Low Overhead · IEEE Symposium on Security and Privacy 2015
Blockchain and cryptocurrency security
runtime verification
0.212015
High System-Code Security with Low Overhead · IEEE Symposium on Security and Privacy 2015
Performance modeling and evaluation
benchmarking
0.112015
High System-Code Security with Low Overhead · IEEE Symposium on Security and Privacy 2015

Methods — techniques the papers use, named apart from their topics

security-performance tradeoff optimization · 0.4program instrumentation · 0.4
YearPublicationVenuePosition
2020 oposSOM-Browser: an interactive tool to explore omics data landscapes in health science
abstract
BACKGROUND: oposSOM is a comprehensive, machine learning based open-source data analysis software combining functionalities such as diversity analyses, biomarker selection, function mining, and visualization. RESULTS: These functionalities are now available as interactive web-browser application for a broader user audience interested in extracting detailed information from high-throughput omics data sets pre-processed by oposSOM. It enables interactive browsing of single-gene and gene set profiles, of molecular 'portrait landscapes', of associated phenotype diversity, and signalling pathway activation patterns. CONCLUSION: The oposSOM-Browser makes available interactive data browsing for five transcriptome data sets of cancer (melanomas, B-cell lymphomas, gliomas) and of peripheral blood (sepsis and healthy individuals) at www.izbi.uni-leipzig.de/opossom-browser .
Henry Löffler-Wirth, Jasmin Reikowski, Siras Hakobyan, Jonas Wagner, Hans Binder
BMC Bioinform.4
2015 High System-Code Security with Low Overhead
abstract
Security vulnerabilities plague modern systems because writing secure systems code is hard. Promising approaches can retrofit security automatically via runtime checks that implement the desired security policy, these checks guard critical operations, like memory accesses. Alas, the induced slowdown usually exceeds by a wide margin what system users are willing to tolerate in production, so these tools are hardly ever used. As a result, the insecurity of real-world systems persists. We present an approach in which developers/operators can specify what level of overhead they find acceptable for a given workload (e.g., 5%), our proposed tool ASAP then automatically instruments the program to maximize its security while staying within the specified "overhead budget." Two insights make this approach effective: most overhead in existing tools is due to only a few "hot" checks, whereas the checks most useful to security are typically "cold" and cheap. We evaluate ASAP on programs from the Phoronix and SPEC benchmark suites. It can precisely select the best points in the security-performance spectrum. Moreover, we analyzed existing bugs and security vulnerabilities in RIPE, Open SSL, and the Python interpreter, and found that the protection level offered by the ASAP approach is sufficient to protect against all of them.
Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder
IEEE Symposium on Security and Privacy1
2013 -OVERIFY: Optimizing Programs for Fast Verification
Jonas Wagner, Volodymyr Kuznetsov, George Candea
HotOS1