Eliminating implicit information leaks by transformational typing and unification - Research Collection

Metadata only

Author

Date

2006

Type

Conference Paper

Citations

Cited 6 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/11679219

Editor

Dimitrakos, Theo

Martinelli, Fabio

Ryan, Peter Y.A.

Schneider, Steve

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, UK, July 18-19, 2005

Organisational unit

03634 - Basin, David / Basin, David

More

Show all metadata

Citations

Cited 6 times in Web of Science

ETH Bibliography

yes

Altmetrics