Georg Walter

According to our database1, Georg Walter authored at least 4 papers between 2000 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

2000
A Formal Security Model for Microprocessor Hardware.
IEEE Trans. Software Eng., 2000


  Loading...