Georg Walter

According to our database1, Georg Walter authored at least 4 papers between 1999 and 2005.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Analyzing SLE 88 memory management security using Interacting State Machines.
Int. J. Inf. Sec., 2005

2003
Retail Banking: Status quo und Entwicklungslinien.
HMD Prax. Wirtsch., 2003

A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment.
Proceedings of the Computer Security, 2003

1999
A Formal Security Model for Microprocessor Hardware.
Proceedings of the FM'99 - Formal Methods, 1999


  Loading...