Already a member? Log in

Sign up with your...

or

Sign Up with your email address

Add Tags

Duplicate Tags

Rename Tags

Share It With Others!

Save Link

Sign in

Sign Up with your email address

Sign up

By clicking the button, you agree to the Terms & Conditions.

Forgot Password?

Please enter your username below and press the send button.
A password reset link will be sent to you.

If you are unable to access the email address originally associated with your Delicious account, we recommend creating a new account.

ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT

Links 1 through 10 of 250 by Dan Connolly tagged security

Share It With Others!

rF*

when i saw work on crypto in idris, this is the sort of results that i wondered if they could reach

open source? relies on Z3 which is non-commercial

Share It With Others!

spotter: strcat

Share It With Others!

took a little tweaking to get working on OS X, i.e. python 2.6. But got the job done!

Share It With Others!

via https://www.youtube.com/watch?v=b0w36GAyZIA

Share It With Others!

nice explanation of SSL/TLS alphabet soup

Share It With Others!

Share It With Others!

Share It With Others!

talks by Crockford

Gears and the Mashup Problem: <http://www.youtube.com/watch?v=qfBL2sc2zUU/>
Web Forward: <http://www.youtube.com/watch?v=yh7TeoEwNyI#t=15m40s>
Securing JavaScript: <http://www.youtube.com/watch?v=T6TTQoqln7c>

Share It With Others!

"
L4Android: A Generic Operating System Framework for Secure Smartphones
Matthias Lange, Steffen Liebergeld, Adam Lackorzynski, Alexander Warg, Michael Peter
Workshop on Security and Privacy in Smartphones and Mobile Devices (ACM CCS SPSM), Chicago, IL, USA (October 2011)
PDF | Slides"

Share It With Others!

ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT