Author of the publication

POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification.

, , , and . CCS, page 2495-2497. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Make it green and useful: Reshaping puzzles for identity management in large-scale distributed systems., , , and . IM, page 387-394. IEEE, (2013)Attacking a Swarm with a Band of Liars: evaluating the impact of attacks on BitTorrent., , and . Peer-to-Peer Computing, page 37-44. IEEE Computer Society, (2007)Identity management based on adaptive puzzles to protect P2P systems from Sybil attacks., , , , and . Comput. Networks, 56 (11): 2569-2589 (2012)A conservative strategy to protect P2P file sharing systems from pollution attacks., , , and . Concurr. Comput. Pract. Exp., 23 (1): 117-141 (2011)No more backups: Toward efficient embedding of survivable virtual networks., , , , , , and . ICC, page 2128-2132. IEEE, (2013)Hybrid reliable multicast with TCP-XM., , , and . CoNEXT, page 177-187. ACM, (2005)Tá na Hora: analisando a latência de modificação de tabelas de fluxo em arquiteturas de switches SDN., , , and . SBRC, page 1033-1046. (2018)Securing P2P systems from Sybil attacks through adaptive identity management., , , , and . CNSM, page 1-6. IEEE, (2011)Dynamic Property Enforcement in Programmable Data Planes., , , and . Networking, page 1-9. IEEE, (2019)No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios., , and . WISEC, page 280-281. ACM, (2022)