Matches in SemOpenAlex for { <https://semopenalex.org/work/W3170641330> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3170641330 abstract "An attacker that gains access to a cryptocurrency user's private keys can perform any operation in her stead. Due to the decentralized nature of most cryptocurrencies, no entity can revert those operations. This is a central challenge for decentralized systems, illustrated by numerous high-profile heists. Vault contracts reduce this risk by introducing artificial delay on operations, allowing abortion by the contract owner during the delay. However, the theft of a key still renders the vault unusable and puts funds at risk. We introduce Phoenix, a novel contract architecture that allows the user to restore its security properties after key loss. Phoenix takes advantage of users' ability to store keys in easily-available but less secure storage (tier-two) as well as more secure storage that is harder to access (tier-one). Unlike previous solutions, the user can restore Phoenix security after the theft of tier-two keys and does not lose funds despite losing keys in either tier. Phoenix also introduces a mechanism to reduce the damage an attacker can cause in case of a tier-one compromise. We formally specify Phoenix's required behavior and provide a prototype implementation of Phoenix as an Ethereum contract. Since such an implementation is highly sensitive and vulnerable to subtle bugs, we apply a formal verification tool to prove specific code properties and identify faults. We highlight a bug identified by the tool that could be exploited by an attacker to compromise Phoenix. After fixing the bug, the tool proved the low-level executable code's correctness." @default.
- W3170641330 created "2021-06-22" @default.
- W3170641330 creator A5002512849 @default.
- W3170641330 creator A5025652481 @default.
- W3170641330 creator A5041014026 @default.
- W3170641330 creator A5061772950 @default.
- W3170641330 creator A5064455150 @default.
- W3170641330 creator A5087255124 @default.
- W3170641330 date "2021-06-02" @default.
- W3170641330 modified "2023-10-17" @default.
- W3170641330 title "Phoenix: A Formally Verified Regenerating Vault." @default.
- W3170641330 cites W1480909796 @default.
- W3170641330 cites W1820726602 @default.
- W3170641330 cites W2130427425 @default.
- W3170641330 cites W2510870386 @default.
- W3170641330 cites W2614305404 @default.
- W3170641330 cites W2890457988 @default.
- W3170641330 cites W2914206182 @default.
- W3170641330 cites W2957975315 @default.
- W3170641330 cites W2997495109 @default.
- W3170641330 cites W3012426171 @default.
- W3170641330 cites W3013497391 @default.
- W3170641330 cites W3028257044 @default.
- W3170641330 cites W3033193933 @default.
- W3170641330 cites W3083640511 @default.
- W3170641330 cites W3093770058 @default.
- W3170641330 cites W3102661748 @default.
- W3170641330 cites W3125728907 @default.
- W3170641330 cites W3146075203 @default.
- W3170641330 hasPublicationYear "2021" @default.
- W3170641330 type Work @default.
- W3170641330 sameAs 3170641330 @default.
- W3170641330 citedByCount "0" @default.
- W3170641330 crossrefType "posted-content" @default.
- W3170641330 hasAuthorship W3170641330A5002512849 @default.
- W3170641330 hasAuthorship W3170641330A5025652481 @default.
- W3170641330 hasAuthorship W3170641330A5041014026 @default.
- W3170641330 hasAuthorship W3170641330A5061772950 @default.
- W3170641330 hasAuthorship W3170641330A5064455150 @default.
- W3170641330 hasAuthorship W3170641330A5087255124 @default.
- W3170641330 hasConcept C142724271 @default.
- W3170641330 hasConcept C144024400 @default.
- W3170641330 hasConcept C158739034 @default.
- W3170641330 hasConcept C199360897 @default.
- W3170641330 hasConcept C26517878 @default.
- W3170641330 hasConcept C2776654903 @default.
- W3170641330 hasConcept C2779167034 @default.
- W3170641330 hasConcept C36289849 @default.
- W3170641330 hasConcept C38652104 @default.
- W3170641330 hasConcept C41008148 @default.
- W3170641330 hasConcept C46355384 @default.
- W3170641330 hasConcept C55439883 @default.
- W3170641330 hasConcept C71924100 @default.
- W3170641330 hasConcept C75949130 @default.
- W3170641330 hasConcept C77088390 @default.
- W3170641330 hasConceptScore W3170641330C142724271 @default.
- W3170641330 hasConceptScore W3170641330C144024400 @default.
- W3170641330 hasConceptScore W3170641330C158739034 @default.
- W3170641330 hasConceptScore W3170641330C199360897 @default.
- W3170641330 hasConceptScore W3170641330C26517878 @default.
- W3170641330 hasConceptScore W3170641330C2776654903 @default.
- W3170641330 hasConceptScore W3170641330C2779167034 @default.
- W3170641330 hasConceptScore W3170641330C36289849 @default.
- W3170641330 hasConceptScore W3170641330C38652104 @default.
- W3170641330 hasConceptScore W3170641330C41008148 @default.
- W3170641330 hasConceptScore W3170641330C46355384 @default.
- W3170641330 hasConceptScore W3170641330C55439883 @default.
- W3170641330 hasConceptScore W3170641330C71924100 @default.
- W3170641330 hasConceptScore W3170641330C75949130 @default.
- W3170641330 hasConceptScore W3170641330C77088390 @default.
- W3170641330 hasLocation W31706413301 @default.
- W3170641330 hasOpenAccess W3170641330 @default.
- W3170641330 hasPrimaryLocation W31706413301 @default.
- W3170641330 hasRelatedWork W1546727207 @default.
- W3170641330 hasRelatedWork W1592300071 @default.
- W3170641330 hasRelatedWork W164984320 @default.
- W3170641330 hasRelatedWork W1781390243 @default.
- W3170641330 hasRelatedWork W2073844310 @default.
- W3170641330 hasRelatedWork W2074943483 @default.
- W3170641330 hasRelatedWork W2147625551 @default.
- W3170641330 hasRelatedWork W2274142119 @default.
- W3170641330 hasRelatedWork W2340722424 @default.
- W3170641330 hasRelatedWork W2345935762 @default.
- W3170641330 hasRelatedWork W2408805917 @default.
- W3170641330 hasRelatedWork W2631389871 @default.
- W3170641330 hasRelatedWork W2785521635 @default.
- W3170641330 hasRelatedWork W2794368585 @default.
- W3170641330 hasRelatedWork W2887060730 @default.
- W3170641330 hasRelatedWork W2897147955 @default.
- W3170641330 hasRelatedWork W2898569715 @default.
- W3170641330 hasRelatedWork W3014792488 @default.
- W3170641330 hasRelatedWork W3029194497 @default.
- W3170641330 hasRelatedWork W2227091423 @default.
- W3170641330 isParatext "false" @default.
- W3170641330 isRetracted "false" @default.
- W3170641330 magId "3170641330" @default.
- W3170641330 workType "article" @default.