Concept
Code impénétrable
Publications associées (15)
Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs
Mathias Josef Payer, Jianhao Xu
Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...
Berkeley2023Treatment of the implicit effect in Shark-X
Mathieu Hursin, Hakim Ferroukhi, Alexander Vasiliev
Shark-X is a set of Perl-based tools build around the deterministic neutron transport code CASMO-5, used to perform uncertainty quantification for lattice calculations at the Paul Scherrer Institut (PSI). While perturbing an input parameter, e.g. a cross s ...
2020