Topics Index

Model Checking
O2 The Effect of Extensible Models on Cryptography Gretchen Harrington, Erik Adkins
Imperial College, London, United Kingdom.
P1 Choree: Emulation of the Ethernet Sabrina Woods1, Blanche Pratt2, Gene Jefferson1
1UCL, London, United Kingdom. 2Imperial College, London, United Kingdom.
P2 An Analysis of the Transistor Using CLIME Lindsay James1, Sharon Yates2, Jeanne Mason3
1UCL, London, United Kingdom. 2Cambridge University, Cambridge, United Kingdom. 3University of the Highlands and Island, Perth, United Kingdom.