cyph3rPunk@infosec.pub to Formal Methods@programming.dev · edit-22 months agoVerified Effectful Programming in F* - Catalin Hritcuplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkVerified Effectful Programming in F* - Catalin Hritcuplus-squareyoutu.becyph3rPunk@infosec.pub to Formal Methods@programming.dev · edit-22 months agomessage-square0fedilink
cyph3rPunk@infosec.pub to Blockchain Voting@infosec.pub · 1 year agoCharles on Selective Disclosure Regimes using Midnightplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkCharles on Selective Disclosure Regimes using Midnightplus-squareyoutu.becyph3rPunk@infosec.pub to Blockchain Voting@infosec.pub · 1 year agomessage-square0fedilink
cyph3rPunk@infosec.pub to Ethereum@infosec.pubEnglish · edit-22 years agoFormal Verification for n00bs — Part 1: The K ecosystemplus-squaremedium.comexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkFormal Verification for n00bs — Part 1: The K ecosystemplus-squaremedium.comcyph3rPunk@infosec.pub to Ethereum@infosec.pubEnglish · edit-22 years agomessage-square0fedilink
cyph3rPunk@infosec.pub to Ethereum@infosec.pubEnglish · 2 years agoVitalik Buterin explains Ethereumplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkVitalik Buterin explains Ethereumplus-squareyoutu.becyph3rPunk@infosec.pub to Ethereum@infosec.pubEnglish · 2 years agomessage-square0fedilink
cyph3rPunk@infosec.pub to Blockchain Voting@infosec.pubEnglish · 2 years agoBlockchain is a terrible idea for elections, actually.plus-squaremessage-squaremessage-square0fedilinkarrow-up11
arrow-up11message-squareBlockchain is a terrible idea for elections, actually.plus-squarecyph3rPunk@infosec.pub to Blockchain Voting@infosec.pubEnglish · 2 years agomessage-square0fedilink
cyph3rPunk@infosec.pub to Blockchain Voting@lemmy.worldEnglish · 2 years agoWas YOUR vote counted? (feat. homomorphic encryption) - Numberphile youtu.beexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkWas YOUR vote counted? (feat. homomorphic encryption) - Numberphile youtu.becyph3rPunk@infosec.pub to Blockchain Voting@lemmy.worldEnglish · 2 years agomessage-square0fedilink
cyph3rPunk@infosec.pub to New Communities@lemmy.worldEnglish · 2 years agocyph3rPunk - activists utilizing the digital landscape to champion personal privacy, freedom, and the diffusion of central authority.plus-squareinfosec.pubimagemessage-square0fedilinkarrow-up11
arrow-up11imagecyph3rPunk - activists utilizing the digital landscape to champion personal privacy, freedom, and the diffusion of central authority.plus-squareinfosec.pubcyph3rPunk@infosec.pub to New Communities@lemmy.worldEnglish · 2 years agomessage-square0fedilink
cyph3rPunk@infosec.pub to Blockchain Voting@lemmy.worldEnglish · edit-22 years agoBlockchain is a terrible idea for elections, actually.plus-squaremessage-squaremessage-square0fedilinkarrow-up11
arrow-up11message-squareBlockchain is a terrible idea for elections, actually.plus-squarecyph3rPunk@infosec.pub to Blockchain Voting@lemmy.worldEnglish · edit-22 years agomessage-square0fedilink
cyph3rPunk@infosec.pub to Blockchain Voting@lemmy.worldEnglish · edit-22 years agoCardano Catalyst Community Siteplus-squarecardanocataly.stexternal-linkmessage-square0fedilinkarrow-up11
arrow-up11external-linkCardano Catalyst Community Siteplus-squarecardanocataly.stcyph3rPunk@infosec.pub to Blockchain Voting@lemmy.worldEnglish · edit-22 years agomessage-square0fedilink
cyph3rPunk@infosec.pubM to Open Sores@infosec.pubEnglish · edit-22 years agothe Open Sores Movementplus-squaremessage-squaremessage-square0fedilinkarrow-up11
arrow-up11message-squarethe Open Sores Movementplus-squarecyph3rPunk@infosec.pubM to Open Sores@infosec.pubEnglish · edit-22 years agomessage-square0fedilink