Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Ethan Cecchetti"'
Publikováno v:
IEEE Symposium on Security and Privacy
The disastrous vulnerabilities in smart contracts sharply remind us of our ignorance: we do not know how to write code that is secure in composition with malicious code. Information flow control has long been proposed as a way to achieve compositiona
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4380c78abdf6ac498a2f249dee81e96
http://arxiv.org/abs/2103.08577
http://arxiv.org/abs/2103.08577
Autor:
Andrew K. Hirsch, Ethan Cecchetti
Type systems designed for information-flow control commonly use a program-counter label to track the sensitivity of the context and rule out data leakage arising from effectful computation in a sensitive context. Currently, type-system designers reas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65a51514149c7bd404bdcc42f64b654f
http://arxiv.org/abs/2010.13191
http://arxiv.org/abs/2010.13191
Publikováno v:
CSF
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize the FLAFOL proof system, characterize its proof-theoretic properties,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::238f54727b2708a1f1e1ec6fa7b0b180
http://arxiv.org/abs/2001.10630
http://arxiv.org/abs/2001.10630
Publikováno v:
CCS
We present a new primitive supporting file replication in distributed storage networks (DSNs) called a Public Incompressible Encoding (PIE). PIEs operate in the challenging public DSN setting where files must be encoded and decoded with public random
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f05415ccff0d443bb6437c8c682cc702
https://doi.org/10.1145/3319535.3354231
https://doi.org/10.1145/3319535.3354231
Publikováno v:
CCS
Noninterference is a popular semantic security condition because it offers strong end-to-end guarantees, it is inherently compositional, and it can be enforced using a simple security type system. Unfortunately, it is too restrictive for real systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a66208f250708c95a6ec784b93145208
https://doi.org/10.1145/3133956.3134054
https://doi.org/10.1145/3133956.3134054
Publikováno v:
CCS
Blockchains and more general distributed ledgers are becoming increasingly popular as efficient, reliable, and persistent records of data and transactions. Unfortunately, they ensure reliability and correctness by making all data public, raising conf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b3216616d4d53b50fb80d9c0c36b1bc
https://doi.org/10.1145/3133956.3134010
https://doi.org/10.1145/3133956.3134010
Publikováno v:
ACM Conference on Computer and Communications Security
Smart contracts are programs that execute autonomously on blockchains. Their key envisioned uses (e.g. financial instruments) require them to consume data from outside the blockchain (e.g. stock quotes). Trustworthy data feeds that support a broad ra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f2cfdf430895ef34713fd2b4674c08c
https://doi.org/10.1145/2976749.2978326
https://doi.org/10.1145/2976749.2978326