2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728114071

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Meaning and Purpose of Attack Trees

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00020 ◽

2019 ◽

Cited By ~ 5

Author(s):

Heiko Mantel ◽

Christian W. Probst

Keyword(s):

Attack Trees ◽

Meaning And Purpose

A Formal Approach to Secure Speculation

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00027 ◽

2019 ◽

Cited By ~ 4

Author(s):

Kevin Cheang ◽

Cameron Rasmussen ◽

Sanjit Seshia ◽

Pramod Subramanyan

Keyword(s):

Formal Approach

Title Page ii

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00002 ◽

2019 ◽

Keyword(s):

Title Page

Title Page i

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00001 ◽

2019 ◽

Keyword(s):

Title Page

Author Index

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00038 ◽

2019 ◽

Committees

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00006 ◽

2019 ◽

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00004 ◽

2019 ◽

Optimising Faceted Secure Multi-Execution

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00008 ◽

2019 ◽

Cited By ~ 1

Author(s):

Maximilian Algehed ◽

Alejandro Russo ◽

Cormac Flanagan

Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00021 ◽

2019 ◽

Cited By ~ 4

Author(s):

Barbara Fila ◽

Wojciech Widel

Keyword(s):

Tree Analysis

Re-Thinking Untraceability in the CryptoNote-Style Blockchain

2019 IEEE 32nd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2019.00014 ◽

2019 ◽

Cited By ~ 2

Author(s):

Jiangshan Yu ◽

Man Ho Allen Au ◽

Paulo Esteves-Verissimo

2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

On the Meaning and Purpose of Attack Trees

A Formal Approach to Secure Speculation

Title Page ii

Title Page i

Author Index

Committees

Table of contents

Optimising Faceted Secure Multi-Execution

Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains

Re-Thinking Untraceability in the CryptoNote-Style Blockchain

Export Citation Format

2019 IEEE 32nd Computer Security Foundations Symposium (CSF)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

On the Meaning and Purpose of Attack Trees

A Formal Approach to Secure Speculation

Title Page ii

Title Page i

Author Index

Committees

Table of contents

Optimising Faceted Secure Multi-Execution

Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains

Re-Thinking Untraceability in the CryptoNote-Style Blockchain

2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
Latest Publications