Javier Cabrera

[SEISMIC](https://github.com/wenhao1006/SEISMIC) repo

We can remove it

For muladd, with one minute for the exploration stage, `CROW` finds a total number of `(15 + 23 + 9 + 6 + 12 + 5)` valid replacements, for a...

Now we have the full C corpus from [Rosetta](https://github.com/KTH/slumps/tree/master/benchmark_programs/rossetta). Up to 790 valid programs from a total of 996.

Report for the SLUMPs execution over the Rosetta corpus can be accessed [here](https://github.com/KTH/slumps/blob/master/benchmark_programs/rossetta/Experiment_report1.md). Experiment setup: - 1h timeout per program

[SafeSide](https://github.com/google/safeside ) is a project to understand and mitigate software-observable side-channels: information leaks between software domains caused by implementation details outside the software abstraction. Unlike other side-channel attacks -- e.g....

SafeSide is a project to understand and mitigate software-observable side-channels: information leaks between software domains caused by implementation details outside the software abstraction. Unlike other side-channel attacks -- e.g. measuring...

Path coverage in https://github.com/KTH/swam/pull/9

Hi @tareq97 and @olapiv Now your code is in the branch feature/opt-in https://github.com/KTH/swam/tree/feature/opt-in, lets work on this branch. I will do the changes that I discussed with Lucas. The new...

@tareq97, @olapiv https://github.com/dwfault/afl-wasm