| changeset 429 | afd8eff20402 |
| parent 426 | 5b77220fdf01 |
| 428:5dcecc92608e | 429:afd8eff20402 |
|---|---|
349 articleno = {4}, |
349 articleno = {4}, |
350 numpages = {8} |
350 numpages = {8} |
351 } |
351 } |
352 |
352 |
353 |
353 |
354 @INPROCEEDINGS{verbatim, |
|
355 author={D.~Egolf and S.~Lasser and K.~Fisher}, |
|
356 booktitle={2021 IEEE Security and Privacy Workshops (SPW)}, |
|
357 title={{V}erbatim: {A} {V}erified {L}exer {G}enerator}, |
|
358 year={2021}, |
|
359 volume={}, |
|
360 number={}, |
|
361 pages={92--100}} |