Calendar
    2018
    2017

Events
    WoLLIC'17
    WoLLIC'16
    LFCS’16

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Books
    Edited Volumes
    Papers
    Other

Teaching
    Logic for CS
    Theor. Inf.
    Set Th.
    Crypto

Personal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco


Current Students

PhD

  • Maria das Graças Silva Oliveira: Homomorphic Encryption.
  • Clarice Marinho de Casto: Intellectual Property in the Digital Age
  • Igor Medeiros Vanderlei: Privacy Control in Electronic Health Records
  • Evandro Curvelo Hora: Formal Strategies in Computer Security
  • Luciana Vale Silva: Univalent Foundations of Mathematics
  • Rodrigo Costa: Security in Online Advertising
  • Marcus Vinicius Midena Ramos: Complexity Theory
  • Fabiano Silva: Computational Complexity in Numerical Computation
  • Danielle Novaes: Multidisciplinary Analysis of Cybercrime
  • Vitor Andrade: Lean Startup Methodology
  • Anselmo Lacerda Gomes: Digital Identity Management

  • Anderson Queiroz: Computational Security

    MSc

  • Silvio Danilo: Malware Analysis
  • Thiago Diniz: Lean Startup Methodology
  • Vinicius Cantarelli: Security in Personal Health Records
  • Gleudson Pinheiro Jr: Electronic Voting
  • Raquel Saraiva: Access Right
  • Sandra Friedman: Differential Privacy
  • Henrique Arcoverde: Computational Security
  • Fernando Luiz Guimarães Motta Jr: Issues in Computer Crime
  • Vicente Ricardo Arruda da Fonseca: Intellectual Property in the Digital Age
  • Dimmy Karson: Secure Protocols for E-Cash
  • Márcio Almeida: Mobile Agents for Web Application Security
  • Carlos Eduardo Saraiva: Applications of Visual Cryptografphy
  • Wagner Medeiros dos Santos: End-to-End Verifiability for Web-based Open Audit Voting Systems
  • Felipe Zimmerle: Security for Geolocation Applications

    Former Students

    PhD

  • Marcelo Gama da Silva: Ants Colony Optimisation for The Shortest Vector Problem over Lattices.
  • Eudes Naziazeno Galvão: A Class of Quasi-Finitely Axiomatizable Rings. (Co-Supervisor: Thomas Scanlon) Oral Exam: Feb 28th, 2011.
  • Gleifer Vaz Alves: Normalization for N-Graphs. (Co-Supervisor: Anjolina Grisi de Oliveira)
  • Emmanuel Felix Lopes da Silva: First-Order Arithmetic Characterization of Polynomial-Space Computable Functions. (Co-Supervisor: Ricardo Bianconi.) Oral Exam: June 27th, 2008.
  • Sérgio da Silva Aguiar: An Analysis of Self-Reference Based on Semantic Streams. Oral Exam: March 14th, 2008.
  • Steffen Lewitzka: Contributions to the investigation of Lascar strong types in simple theories. Oral Exam: April 25th, 2003. Funded by CNPq and DAAD.
  • Anjolina Grisi de Oliveira: Proofs from a Geometric Perspective. Oral Exam: February 16th, 2001. Funded by CAPES.
  • Haroldo G. Benatti: Descriptive Complexity of Graph Problems. Oral Exam: March 24th, 2000. Funded by CAPES.
  • Ana Teresa Martins: A Syntactical and Semantical Uniform Treatment for the IDL and LEI Nonmonotonic System. Oral Exam: 1997. (Co-Supervisor. Main Supervisor: Tarcisio Pequeno)

    MSc

  • Dener Didonné: Digital Forensics in Cloud Computing
  • Anderson Queiroz: Cookies and Privacy
  • Fred Madeira: Defense Techniques against SPIT
  • Rodrigo Costa: Clicable CAPTCHAS and Defenses against Click Fraud
  • Anisio Andre Santos Junior: Security and Verifiability in Electronic Voting via Mixnets
  • Leonardo Ribeiro: Protocols for Secure Electronic Auctions. Oral Exam: 4 Sept 2009
  • Marcela Quispe Cruz: Towards Intuitionistic N-Graphs. Oral Exam: 31 August 2009 (Co-Supervisor. Main Supervisor: Anjolina de Oliveira)
  • Eduardo Mazza Batista: ASAT: A Tool for Detection of New Viruses. Oral Exam: 6 June 2008.
  • Marcelo Gama da Silva: Pseudo-Free Groups and Cryptographic Protocols. Oral Exam: 26 February 2007.
  • Igor Medeiros Vanderlei: Multi-Party Secure Computation for String Matching. Oral Exam: 31 August 2006.
  • Murillo de Barros C R A Pontual: Multi-Party Secure Computation for Matrix Operations. Oral Exam: 30 November, 2005.
  • Gleifer Vaz Alves: Normalization for N-Graphs. Oral Exam: March 16th, 2005. Funded by CAPES. (Acted as a Co-Supervisor. Principal Supervisor: Anjolina Grisi de Oliveira.)
  • Edson Holanda Cavalcante Jr: On the Soundness Criteria for Proof Graphs (In Portuguese). Oral Exam: February 19th, 2001. Funded by CNPq.
  • Adolfo Gustavo Serra Sêca Neto: Using Logic for Concurrency: A Critical Study. Oral Exam: December 1996. Funded by CNPq.
  • Nícia Cristina Rocha Riccio: Sobre a Questão da Formalização do Raciocínio Abdutivo via Sistemas Dedutivos Rotulados. Oral Exam: August 1995. Funded by CNPq.
  • Adolfo Almeida Duran: Semântica via Jogos para a Dedução Rotulada. Oral Exam: August 1995. Funded by CNPq.
  • Sérgio Gorender: Sobre a Representação de Linguagem Natural usando Dedução Natural. Oral Exam: April 1995. Funded by CNPq.
  • Anjolina Grisi de Oliveira: Transformação entre Provas para a Dedução Natural Rotulada via Reescrita de Termos. Oral Exam: April 1995. Funded by CAPES.


    Last modified: January 26, 2017, 11:05am GMT-3.