S
Steve Schneider
17 works on record
Works
Designing Fear
Designing Fear
2008
Refocusing crime prevention
2007
Robert F. Kennedy
2001
The B-method (Cornerstones of Computing)
2001
Concurrent and real-time systems
1999
La théorie et la pratique de la prévention du crime par l'aménagement du milieu
La théorie et la pratique de la prévention du crime par l'aménagement du milieu
1996
The theory and practice of crime prevention through environmental design
The theory and practice of crime prevention through environmental design
1996
That's all folks!
1988
Formal aspects of security
Formal aspects in security and trust
Integrated Formal Methods
Computer Security – ESORICS 2019
Information Security
Applied Cryptography and Network Security
E-Voting and Identity
E-Voting and Identity
Computer Security - ESORICS 2020
Computer Security - ESORICS 2020
ZB 2005 : Formal Specification and Development in Z and B
ZB 2005 : Formal Specification and Development in Z and B