Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Kolosick, Matthew"'
Autor:
Kolosick, Matthew, Shivakumar, Basavesh Ammanaghatta, Cauligi, Sunjay, Patrignani, Marco, Vassena, Marco, Jhala, Ranjit, Stefan, Deian
The constant-time property is considered the security standard for cryptographic code. Code following the constant-time discipline is free from secret-dependent branches and memory accesses, and thus avoids leaking secrets through cache and timing si
Externí odkaz:
http://arxiv.org/abs/2311.05831
Refinement types decorate types with assertions that enable automatic verification. Like assertions, refinements are limited to binders that are in scope, and hence, cannot express higher-order specifications. Ghost variables circumvent this limitati
Externí odkaz:
http://arxiv.org/abs/2105.01954
Autor:
Kolosick, Matthew, Narayan, Shravan, Johnson, Evan, Watt, Conrad, LeMay, Michael, Garg, Deepak, Jhala, Ranjit, Stefan, Deian
Software sandboxing or software-based fault isolation (SFI) is a lightweight approach to building secure systems out of untrusted components. Mozilla, for example, uses SFI to harden the Firefox browser by sandboxing third-party libraries, and compan
Externí odkaz:
http://arxiv.org/abs/2105.00033
Refinement types decorate types with assertions that enable automatic verification. Like assertions, refinements are limited to binders that are in scope, and hence, cannot express higher-order specifications. Ghost variables circumvent this limitati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81bc38bc0085f4efdf3686c9c47332ca