Eliminating implicit information leaks by transformational typing and unification

Metadata only

Author

Date

2006

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Formal aspects in security and trust : revised selected papers : third international workshop / FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005

Volume

3866

Pages / Article No.

47 - 62

Publisher

Springer

Event

3rd International Workshop on Formal Aspects in Security and Trust, Newcastle, United Kingdom, July 18-19, 2005

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection