cipherpal.com
About Cipherpal | cipherpal
https://cipherpal.com/blog/about-cipherpal
Cryptography and privacy in the modern world. 8220;It’s a real pleasure to see scientists, hackers, entrepreneurs, and activists all working hard on crypto, again. Like the good old days.” — @zooko. September 10, 2013. Who am I, and what is this blog about? If this works out well and I have the time, I may expand the scope to include more commentary, try to recruit other contributors for the site, and maybe even add a podcast. Why “Cipherpal”? In the 1990′s, the Cypherpunk movement. Sought to promote the...
galois.com
SAW (Software Analysis Workbench) - Galois, Inc.
https://galois.com/~sof
Research & Development. SAW (Software Analysis Workbench). SAW (Software Analysis Workbench). SAW provides analysts with the ability to extract formal models from programs, and analyze them using a variety of automated reasoning tools. Initial Release 0.5). SAW supports analysis of programs written in C, Java , MATLAB , and Cryptol. And uses efficient SAT and SMT solvers such as ABC. SAW is primarily designed with cryptographic implementations in mind, but also supports general purpose imperative programs.
dafyddcrosby.com
Miscellany 2015-04-20
https://www.dafyddcrosby.com/miscellany-2015-04-20
David T. Crosby. Mon 20 April 2015. Today’s been getting a new laptop up to speed. What is it about a fresh hard drive that gives you the feeling like putting on brand new shoes over brand new socks? A chance to slough off the old files that creep into your home directory over time. Build Your Own Lisp. Have I Been Pwned? Ben Rockwood - Feng Shui in the Modern Business World. Black Metal Interior Design. Teengenerate - Dressed in Black / Fake Fake Fake. Proudly powered by Pelican.
saw.galois.com
SAW
http://saw.galois.com/index.html
The Software Analysis Workbench. The Software Analysis Workbench (SAW) provides the ability to formally verify. Properties of code written in C, Java, and Cryptol. It leverages automated SAT and SMT solvers to make this process as automated as possible, and provides a scripting language, called SAWScript. To enable verification to scale up to more complex systems. Why use Formal Verification? What has SAW been used for? We have used SAW primarily to verify implementations of cryptographic algorithms.
degoesconsulting.com
LambdaConf 2015: Bigger, Better, Boulder (May 22-24, 2015)
http://www.degoesconsulting.com/lambdaconf-2015
Bigger, Better, Boulder. May 22-24 - Boulder CO. Ignite your functional programming skills. Ldquo;It was awesome. Be sure to go next year! Ldquo;I just wanted to say this explicitly: #LambdaConf was amazing.”. Ldquo;Very well organized; great speakers with thoughtful talks. Lots of challenging material for me. Brain full.”. Ldquo;So much awesome at #lambdaconf! Ldquo;Paul Phillips presentation at LamdaConf is one of the best I've seen in a long while.”. In addition to two and a half days of content, the ...
xana.scru.org
Yammering
https://xana.scru.org/xana2
Can't put your arms around a memory. I think it stems from employing people who are capable of telling you what BGP stands for, he said. Watching my DevOps team in action is an infuriating mix of ‘Damn, that's a slick CI/CD process you’ve built,’ and ‘What do you mean you don't know what the output of netstat means? Posted Tue 06 Sep 2016 01:35:16 AM UTC. Any way the wind blows. NOAA decommissioning weather.noaa.gov. Posted Fri 26 Aug 2016 04:19:41 PM UTC. Posted Fri 15 Jul 2016 01:29:10 AM UTC. Posted M...
formal.tech
SAW™ – Formaltech
https://formal.tech/products/saw
Call us: 888.593.6762. SAW Software Analysis Workbench. While some software programs can (and are) mechanically generated by tools like Cryptol. Software engineers looking for higher levels of assurance on. Or hand-generated code bases. Have had few tools to assist them. They are left with laborious testing and/or extant risk. As a verification tool, SAW provides a level of assurance beyond the capabilities of traditional approaches. SAW can prove that a program works on all inputs. Cryptographers can us...
