Log in to save to my catalogue

Secure untrusted binaries - provably! [electronic resource] / Simon Winwood, Manuel M. T. Chakravart...

Secure untrusted binaries - provably! [electronic resource] / Simon Winwood, Manuel M. T. Chakravart...

https://devfeature-collection.sl.nsw.gov.au/record/74VKmo0Ao0VO

Secure untrusted binaries - provably! [electronic resource] / Simon Winwood, Manuel M. T. Chakravarty.

About this item

Full title

Secure untrusted binaries - provably! [electronic resource] / Simon Winwood, Manuel M. T. Chakravarty.

Author / Creator

Publisher

[Sydney] : University of New South Wales, School of Computer Science and Engineering, 2005.

Date

2005.

Record Identifier

74VKmo0Ao0VO

MMS ID

991020658289702626

Language

English

Formats

Publication information

Publisher

[Sydney] : University of New South Wales, School of Computer Science and Engineering, 2005.

Place of Publication

New South Wales

Date Published

2005.

Subjects

Subjects and topics

More information

Alternative Titles

Full title

Secure untrusted binaries - provably! [electronic resource] / Simon Winwood, Manuel M. T. Chakravarty.

Notes

General note

UNSW computer science and engineering technical reports, 1448-420X ; UNSW-CSE-TR00511.

22 p.

Title from title screen (viewed on 19 Sept 2005).

"May 2005".

Bibliography: p. 21-22.

System details note

System requirements: Adobe Acrobat reader to access the document in PDF format.

Mode of access: Internet via World Wide Web. Available at: ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/0511.pdf.

Contextual Information

Other version (online)

Identifiers

Primary Identifiers

Record Identifier

74VKmo0Ao0VO

Permalink

https://devfeature-collection.sl.nsw.gov.au/record/74VKmo0Ao0VO

Other Identifiers

DDC

004

MMS ID

991020658289702626

How to access this item