Institution
University of Luxembourg
Education•Luxembourg, Luxembourg•
About: University of Luxembourg is a education organization based out in Luxembourg, Luxembourg. It is known for research contribution in the topics: Population & European union. The organization has 4744 authors who have published 22175 publications receiving 381824 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: In this paper, the authors introduce a framework for the benchmarking of lightweight block ciphers on a multitude of embedded platforms, including 8-bit AVR, 16-bit MSP430, and 32-bit ARM.
Abstract: In this paper, we introduce a framework for the benchmarking of lightweight block ciphers on a multitude of embedded platforms Our framework is able to evaluate the execution time, RAM footprint, as well as binary code size, and allows one to define a custom “figure of merit” according to which all evaluated candidates can be ranked We used the framework to benchmark implementations of 19 lightweight ciphers, namely AES, Chaskey, Fantomas, HIGHT, LBlock, LEA, LED, Piccolo, PRESENT, PRIDE, PRINCE, RC5, RECTANGLE, RoadRunneR, Robin, Simon, SPARX, Speck, and TWINE, on three microcontroller platforms: 8-bit AVR, 16-bit MSP430, and 32-bit ARM Our results bring some new insights into the question of how well these lightweight ciphers are suited to secure the Internet of things The benchmarking framework provides cipher designers with an easy-to-use tool to compare new algorithms with the state of the art and allows standardization organizations to conduct a fair and consistent evaluation of a large number of candidates
94 citations
••
TL;DR: This paper presents a case study of coverage‐based regression testing techniques on a real world industrial system with real regression faults, and shows that prioritization techniques that are based on additional coverage with finer grained coverage criteria perform significantly better in fault detection rates.
Abstract: This paper presents a case study of coverage-based regression testing techniques on a real world industrial system with real regression faults. The study evaluates four common prioritization techniques, a test selection technique, a test suite minimization technique and a hybrid approach that combines selection and minimization. The study also examines the effects of using various coverage criteria on the effectiveness of the studied approaches. The results show that prioritization techniques that are based on additional coverage with finer grained coverage criteria perform significantly better in fault detection rates. The study also reveals that using modification information in prioritization techniques does not significantly enhance fault detection rates. The results show that test selection does not provide significant savings in execution cost <2%, which might be attributed to the nature of the changes made to the system. Test suite minimization using finer grained coverage criteria could provide significant savings in execution cost 79.5% while maintaining a fault detection capability level above 70%, thus representing a possible trade-off. The hybrid technique did not provide a significant improvement over traditional minimization techniques. Copyright © 2015John Wiley & Sons, Ltd.
94 citations
••
10 Jul 2019TL;DR: Zest as discussed by the authors is a technique which automatically guides QuickCheck-like random input generators to better explore the semantic analysis stage of test programs, and converts random-input generators into deterministic parametric input generators.
Abstract: Programs expecting structured inputs often consist of both a syntactic analysis stage, which parses raw input, and a semantic analysis stage, which conducts checks on the parsed input and executes the core logic of the program. Generator-based testing tools in the lineage of QuickCheck are a promising way to generate random syntactically valid test inputs for these programs. We present Zest, a technique which automatically guides QuickCheck-like random input generators to better explore the semantic analysis stage of test programs. Zest converts random-input generators into deterministic parametric input generators. We present the key insight that mutations in the untyped parameter domain map to structural mutations in the input domain. Zest leverages program feedback in the form of code coverage and input validity to perform feedback-directed parameter search. We evaluate Zest against AFL and QuickCheck on five Java programs: Maven, Ant, BCEL, Closure, and Rhino. Zest covers 1.03x-2.81x as many branches within the benchmarks' semantic analysis stages as baseline techniques. Further, we find 10 new bugs in the semantic analysis stages of these benchmarks. Zest is the most effective technique in finding these bugs reliably and quickly, requiring at most 10 minutes on average to find each bug.
94 citations
••
TL;DR: The multi-omics integration reveals PD-specific patterns in microbial-host sulfur co-metabolism that may contribute to PD severity.
94 citations
••
TL;DR: In this paper, it was shown that the binary operation is a twisted version of an associative operation in weakly unital hom-algebras with surjective twisting map.
93 citations
Authors
Showing all 4893 results
Name | H-index | Papers | Citations |
---|---|---|---|
Jun Wang | 166 | 1093 | 141621 |
Leroy Hood | 158 | 853 | 128452 |
Andreas Heinz | 108 | 1078 | 45002 |
Philippe Dubois | 101 | 1098 | 48086 |
John W. Berry | 97 | 351 | 52470 |
Michael Müller | 91 | 333 | 26237 |
Bart Preneel | 82 | 844 | 25572 |
Bjorn Ottersten | 81 | 1058 | 28359 |
Sander Kersten | 79 | 246 | 23985 |
Alexandre Tkatchenko | 77 | 271 | 26863 |
Rudi Balling | 75 | 238 | 19529 |
Lionel C. Briand | 75 | 380 | 24519 |
Min Wang | 72 | 716 | 19197 |
Stephen H. Friend | 70 | 184 | 53422 |
Ekhard K. H. Salje | 70 | 581 | 19938 |