Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088.

Open Source vs. Closed Source Software: Towards Measuring Security
G. Schryen, R. Kadura, in: 24th Annual ACM Symposium on Applied Computing, 2009.