uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Refinement Types for Secure Implementations
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Mobility)
Show others and affiliations
2008 (English)In: Proc. 21st IEEE Computer Security Foundations Symposium, Piscataway, NJ: IEEE , 2008, p. 17-32Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Piscataway, NJ: IEEE , 2008. p. 17-32
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-102318DOI: 10.1109/CSF.2008.27ISBN: 978-0-7695-3182-3 (print)OAI: oai:DiVA.org:uu-102318DiVA, id: diva2:214637
Available from: 2009-05-07 Created: 2009-05-06 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(497 kB)319 downloads
File information
File name FULLTEXT01.pdfFile size 497 kBChecksum SHA-512
c8a09e408f540f3561ca8156b2ea28093153e9ed67d7bac9da4cd3fc6425df3cc96ddae87f50c1c61f80efc43d1aa4344d9f438a088c21892bd60ea08c56c403
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Bengtson, Jesper

Search in DiVA

By author/editor
Bengtson, Jesper
By organisation
Computer Systems
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 319 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 781 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf