Towards Formal Analysis of Insider Threats for Auctions.

Florian Kammueller, Manfred Kerber, Christian W. Probst

Browse the full CCS paper archive.