Florian Kammüller, Manfred Kerber, Christian W. Probst. Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation. JoWUA, 8(1):44-78, 2017. [doi]
@article{KammullerKP17,
title = {Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation},
author = {Florian Kammüller and Manfred Kerber and Christian W. Probst},
year = {2017},
url = {http://isyou.info/jowua/papers/jowua-v8n1-3.pdf},
researchr = {https://researchr.org/publication/KammullerKP17},
cites = {0},
citedby = {0},
journal = {JoWUA},
volume = {8},
number = {1},
pages = {44-78},
}