spacekpe

Edward Snowden at IETF 93

Edward Snowden answered questions after a showing of CITIZENFOUR at the IETF93 meeting; this is a transcript of the video recording.

For more information, see the Internet Society article.

• Introduction
• Scale of Pervasive Monitoring
• Returning to the US
• Preserving the Internet

spacekpe

#include <assert.h>
#include <klee/klee.h>

int f1(int a, int b) {
	return a + b;
}

#define VARIANT 1
int f2(int a, int b) {
	for (int i = 0; i < sizeof(b) * 8; i++)