Filters








87 Hits in 6.6 sec

Growing Secure Distributed Systems from a Spore

Yunus Basagalar, Vassilios Lekakis, Pete Keleher
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s77bfh66ena2znlnuhuruo464a" style="color: black;">2012 IEEE 32nd International Conference on Distributed Computing Systems</a> </i> &nbsp;
This approach allows Spore to bootstrap a file system from a single object, providing integrity and security guarantees while storing all data as simple, immutable objects on untrusted servers.  ...  Spore differs from other systems in that system relationships are formalized only through signed data objects, rather than in complicated protocols executed between clients and servers.  ...  In other words, malicious agents can be "insiders", i.e. holders of trusted keys, and they can cooperate. All network and cloud resources are untrusted.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icdcs.2012.68">doi:10.1109/icdcs.2012.68</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icdcs/BasagalarLK12.html">dblp:conf/icdcs/BasagalarLK12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bolgsy5fcjdddpbpr2tcuzdb7y">fatcat:bolgsy5fcjdddpbpr2tcuzdb7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130421030212/http://www.cs.umd.edu/~lex/papers/spore.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b1/1d/b11d68a5fd567ca3a367b24b829fa40f4d91079a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icdcs.2012.68"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Fabric

Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jj2vupi7offrtmqekd7qqfaxdm" style="color: black;">Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP &#39;09</a> </i> &nbsp;
Fabric provides a rich, Java-like object model, but data resources are labeled with confidentiality and integrity policies that are enforced through a combination of compile-time and run-time mechanisms  ...  Optimistic, nested transactions ensure consistency across all objects and nodes. A peer-to-peer dissemination layer helps to increase availability and to balance load.  ...  This work was supported in part by the National Science Foundation under grants 0430161 and 0627649; by a grant from Microsoft Corporation; by AF-TRUST, which receives support from the DAF Air Force Office  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1629575.1629606">doi:10.1145/1629575.1629606</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sosp/LiuGVQWM09.html">dblp:conf/sosp/LiuGVQWM09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c6wmwnf6a5g7fjrbslusgkgcjy">fatcat:c6wmwnf6a5g7fjrbslusgkgcjy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813095537/http://www.cs.cornell.edu/w8/~liujed/papers/fabric-sosp2009.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/44/60/44605965bb1e0514272af35874a4adebad801676.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1629575.1629606"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

IPFS - Content Addressed, Versioned, P2P File System [article]

Juan Benet
<span title="2014-07-14">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In some ways, IPFS is similar to the Web, but IPFS could be seen as a single BitTorrent swarm, exchanging objects within one Git repository.  ...  IPFS has no single point of failure, and nodes do not need to trust each other.  ...  S/Kademlia DHT Block Exchanges -BitTorrent BitTorrent [3] is a widely successful peer-to-peer filesharing system, which succeeds in coordinating networks of untrusting peers (swarms) to cooperate in  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1407.3561v1">arXiv:1407.3561v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oaejzq52bvaubpbr7qtswvlfvi">fatcat:oaejzq52bvaubpbr7qtswvlfvi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200903165445/https://arxiv.org/pdf/1407.3561v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cb/ca/cbcab90f175b973a68458efcbe27278d1d7c2ad9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1407.3561v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Smart Card Based Solution for User-Centric Identity Management [chapter]

Jan Vossaert, Pieter Verhaeghe, Bart De Decker, Vincent Naessens
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
Also, the cryptographic protocols implemented in the prototype are discussed.  ...  This paper presents a prototype of a previously proposed user-centric identity management system using trusted modules.  ...  Moreover, the user can assign a trust level to service providers: untrusted, default and trusted. Requests from untrusted service providers are blocked.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-20769-3_14">doi:10.1007/978-3-642-20769-3_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/phudscbskzgodbcnttmeweugmm">fatcat:phudscbskzgodbcnttmeweugmm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223201906/http://pdfs.semanticscholar.org/4ad7/2bd0caf2b793a9031546fc5f8379fefb874e.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4a/d7/4ad72bd0caf2b793a9031546fc5f8379fefb874e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-20769-3_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Overview of the Annex System

D. A. Grove, T. C. Murray, C. A. Owen, C. J. North, J. A. Jones, M. R. Beaumont, B. D. Hopkins
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5i22f6noqzcuzalvmf6ckdmcmy" style="color: black;">Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)</a> </i> &nbsp;
, robustness and mobility in the military context.  ...  Our security architecture is built on top of a distributed object-capability system, which we believe provides an ideal platform for developing very high assurance devices.  ...  the MAPs binding caches.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2007.8">doi:10.1109/acsac.2007.8</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acsac/GroveMONJBH07.html">dblp:conf/acsac/GroveMONJBH07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l5xnhlrkknhjdpg7meyzl6vobq">fatcat:l5xnhlrkknhjdpg7meyzl6vobq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813165947/http://www.cs.ox.ac.uk/people/toby.murray/papers/AnnexOverviewACSAC07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/99/cd/99cdaece0401f81b9be2f20a29b5e1864418b90e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2007.8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An Overview of the Annex System

D. A. Grove, T. C. Murray, C. A. Owen, C. J. North, J. A. Jones, M. R. Beaumont, B. D. Hopkins
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c2syobe3wnconhocjx2ad2tkka" style="color: black;">Proceedings of the Computer Security Applications Conference</a> </i> &nbsp;
, robustness and mobility in the military context.  ...  Our security architecture is built on top of a distributed object-capability system, which we believe provides an ideal platform for developing very high assurance devices.  ...  the MAPs binding caches.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2007.4413001">doi:10.1109/acsac.2007.4413001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o7atr56rh5bf3p2x6ivaa2lhmy">fatcat:o7atr56rh5bf3p2x6ivaa2lhmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813165947/http://www.cs.ox.ac.uk/people/toby.murray/papers/AnnexOverviewACSAC07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/99/cd/99cdaece0401f81b9be2f20a29b5e1864418b90e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2007.4413001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Tolerating business failures in hosted applications

Jean-Sebastien Legare, David Williams-King, William Aiello, Andrew Warfield, Dutch T. Meyer, Mark Spear, Alexandru Totolici, Sara Bainbridge, Kalan MacRow, Robert Sumi, Quinlan Jung, Dennis Tjandra
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eitdfnn7k5fohgz7jhhim3f4bm" style="color: black;">Proceedings of the 4th annual Symposium on Cloud Computing - SOCC &#39;13</a> </i> &nbsp;
the direction of a more balanced degree of trust and investment between application providers and their users.  ...  Users of hosted web-based applications implicitly trust that those applications, and the data that is within them, will remain active and available indefinitely into the future.  ...  Verifying the integrity of mutable objects is also feasible, but requires information external to the capability.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2523616.2523618">doi:10.1145/2523616.2523618</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cloud/LegareMSTBMSJTWAW13.html">dblp:conf/cloud/LegareMSTBMSJTWAW13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aqdchspcqfh7lhtt5qfqxs3dp4">fatcat:aqdchspcqfh7lhtt5qfqxs3dp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922015517/http://www.cs.ubc.ca/%7Eandy/papers/a22-legare.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/b5/09b51245773ba9256676d47670ff127b0c0bce83.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2523616.2523618"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Ensuring operating system kernel integrity with OSck

Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel
<span title="2011-03-17">2011</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
High-performance integrity checks that execute concurrently with a running operating system create data races, and we demonstrate a deterministic solution for ensuring kernel memory is in a consistent  ...  We deduce type information for verification by analyzing unmodified kernel source code and in-memory kernel data structures.  ...  We assume a trusted boot process via a technology such as TPM [31] , to bring the system from a potentially untrusted kernel image on disk to executing a trusted kernel that may then be subject to OSck's  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1961296.1950398">doi:10.1145/1961296.1950398</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/spl2uk2z4ngzpa2qf3hf34ifgy">fatcat:spl2uk2z4ngzpa2qf3hf34ifgy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130309024114/http://www.cs.utexas.edu:80/~sangmank/pubs/osck.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/ec/8bec2c7f53b1605e9f4c7d3ce11e043f052bceb6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1961296.1950398"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Ensuring operating system kernel integrity with OSck

Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w47kezfuffdgvcobhv564rrlju" style="color: black;">Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS &#39;11</a> </i> &nbsp;
High-performance integrity checks that execute concurrently with a running operating system create data races, and we demonstrate a deterministic solution for ensuring kernel memory is in a consistent  ...  We deduce type information for verification by analyzing unmodified kernel source code and in-memory kernel data structures.  ...  We assume a trusted boot process via a technology such as TPM [31] , to bring the system from a potentially untrusted kernel image on disk to executing a trusted kernel that may then be subject to OSck's  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1950365.1950398">doi:10.1145/1950365.1950398</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/asplos/HofmannDKRW11.html">dblp:conf/asplos/HofmannDKRW11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ryli3rxqifh2tk5do3dpc7guzi">fatcat:ryli3rxqifh2tk5do3dpc7guzi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130309024114/http://www.cs.utexas.edu:80/~sangmank/pubs/osck.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/ec/8bec2c7f53b1605e9f4c7d3ce11e043f052bceb6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1950365.1950398"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Ensuring operating system kernel integrity with OSck

Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel
<span title="2011-03-17">2011</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/35q3ync5nbhnjfpylznlz57lyi" style="color: black;">SIGARCH Computer Architecture News</a> </i> &nbsp;
High-performance integrity checks that execute concurrently with a running operating system create data races, and we demonstrate a deterministic solution for ensuring kernel memory is in a consistent  ...  We deduce type information for verification by analyzing unmodified kernel source code and in-memory kernel data structures.  ...  We assume a trusted boot process via a technology such as TPM [31] , to bring the system from a potentially untrusted kernel image on disk to executing a trusted kernel that may then be subject to OSck's  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1961295.1950398">doi:10.1145/1961295.1950398</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l272jah6wfb3hpk5ppazulnzky">fatcat:l272jah6wfb3hpk5ppazulnzky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130309024114/http://www.cs.utexas.edu:80/~sangmank/pubs/osck.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/ec/8bec2c7f53b1605e9f4c7d3ce11e043f052bceb6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1961295.1950398"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Ensuring operating system kernel integrity with OSck

Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel
<span title="2012-06-01">2012</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
High-performance integrity checks that execute concurrently with a running operating system create data races, and we demonstrate a deterministic solution for ensuring kernel memory is in a consistent  ...  We deduce type information for verification by analyzing unmodified kernel source code and in-memory kernel data structures.  ...  We assume a trusted boot process via a technology such as TPM [31] , to bring the system from a potentially untrusted kernel image on disk to executing a trusted kernel that may then be subject to OSck's  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2248487.1950398">doi:10.1145/2248487.1950398</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pbztgiue6vc67gx3jdrinc7njy">fatcat:pbztgiue6vc67gx3jdrinc7njy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130309024114/http://www.cs.utexas.edu:80/~sangmank/pubs/osck.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/ec/8bec2c7f53b1605e9f4c7d3ce11e043f052bceb6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2248487.1950398"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Policy-based access control for weakly consistent replication

Ted Wobber, Thomas L. Rodeheffer, Douglas B. Terry
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m52bwee6j5hgxdqcfnxtfxy5we" style="color: black;">Proceedings of the 5th European conference on Computer systems - EuroSys &#39;10</a> </i> &nbsp;
This is especially troublesome when the operation in question involves a change in policy. Without a careful design, permanently divergent state can result.  ...  We describe and evaluate the design and implementation of an access control system for weakly consistent replication where peers are not uniformly trusted.  ...  We also thank Moritz Becker, Jason Mackay, and the SecPAL team for their patience in helping us understand SecPAL and its prototype implementation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1755913.1755943">doi:10.1145/1755913.1755943</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/eurosys/WobberRT10.html">dblp:conf/eurosys/WobberRT10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eg5keeoejfhq5lno2y6m5s56ma">fatcat:eg5keeoejfhq5lno2y6m5s56ma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151017131617/http://research.microsoft.com/pubs/120074/main.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/90/809075ecc571594d39ef77ab141983bcc299aafc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1755913.1755943"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Enforcing Least Privilege Memory Views for Multithreaded Applications

Terry Ching-Hsiang Hsu, Kevin Hoffman, Patrick Eugster, Mathias Payer
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS&#39;16</a> </i> &nbsp;
Failing to properly isolate components in the same address space has resulted in a substantial amount of vulnerabilities.  ...  An evaluation of our prototype in the Linux kernel (TCB < 1,800 LOC) shows negligible runtime performance overhead in real-world applications including Cherokee web server (< 0.69%), Apache httpd web server  ...  Intel Software Guard Extensions (SGX) is a mechanism to ensure confidentiality and integrity (but not availability) of a trusted unprivileged software module under an untrusted OS with limited trusted  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2976749.2978327">doi:10.1145/2976749.2978327</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/HsuHEP16.html">dblp:conf/ccs/HsuHEP16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/algygo7azbhy5aammt2gpdti5i">fatcat:algygo7azbhy5aammt2gpdti5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218101027/https://static.aminer.org/pdf/20170130/pdfs/ccs/honcs9vjlwnk48cubpgz1iaiz6mt7lrq.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ef/d9/efd995c8e06c561b1cc279b96c357d5519b82b6e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2976749.2978327"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Metamath Zero: The Cartesian Theorem Prover [article]

Mario Carneiro
<span title="2020-03-30">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Ultimately, we intend to use it to verify the correctness of the implementation of the verifier down to binary executable, so it can be used as a root of trust for more complex proof systems.  ...  It is formally specified in its own language, and supports a number of translations to and from other proof languages.  ...  This work was supported in part by AFOSR grant FA9550-18-1-0120 and a grant from the Sloan Foundation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.10703v3">arXiv:1910.10703v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7chlzmh6hzbmxntpo2q3nyha5m">fatcat:7chlzmh6hzbmxntpo2q3nyha5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200401001936/https://arxiv.org/pdf/1910.10703v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.10703v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems [chapter]

Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Unfortunately, untrusted code might exploit some covert channels in order to reveal information. In this paper, we focus on the LIO concurrent IFC system.  ...  By leveraging the effects of hardware caches (e.g., the CPU cache), LIO is susceptible to attacks that leak information through the internal timing covert channel.  ...  Acknowledgments We would like to thank Josef Svenningsson and our colleagues in the ProSec and Functional Programming group at Chalmers for useful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-14128-2_12">doi:10.1007/978-3-319-14128-2_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i2tgbnnztnbejpihiypkbpmqf4">fatcat:i2tgbnnztnbejpihiypkbpmqf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808215032/http://www.cse.chalmers.se/%7erusso/publications_files/tgc2013-extended.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/16/4a/164a7c8521c0e2734ebda97a5b7eecc202e03795.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-14128-2_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 87 results