Marcela S. Melara

Learn More
We present CONIKS, an end-user key verification service capable of integration in end-to-end encrypted communication systems. CONIKS builds on transparency log proposals for web server certificates but solves several new challenges specific to key verification for end users. CONIKS obviates the need for global third-party monitors and enables users to(More)
Recent revelations about government surveillance have significantly increased the demand for end-to-end secure communications. However, key management remains a major barrier to adoption. Current systems are often either vulnerable to a malicious or coerced key directory or they make unrealistic assumptions about user behavior, for example, that users will(More)
We present CONIKS, an end-user key verification service capable of integration in end-to-end encrypted communication systems. CONIKS builds on related designs for transparency of web server certificates but solves several new challenges specific to key verification for end users. In comparison to prior designs, CONIKS enables more efficient monitoring and(More)
This paper presents a distributed version of Mininet, an Openflow network emulator. Normally, Mininet emulates an entire network of hosts and switches, each running as a seperate process within a Linux container, all on the same machine. Unfortunately, emulating networks that require more resources than a single machine are currently impossible in Mininet.(More)
  • 1