Back
  1. Home
  2. Profile of Gergely BANA (Unilu)
Profil

BANA Gergely

Main Referenced Co-authors
Chadha, Rohit (1)
Eeralla, Ajay (1)
Okada, Mitsuhiro (1)
Main Referenced Disciplines
Computer science (2)
Physical, chemical, mathematical & earth Sciences: Multidisciplinary, general & others (2)

Publications (total 4)

The most downloaded
241 downloads
Bana, G., Chadha, R., & Eeralla, A. (2018). Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker. In Computer Security (pp. 350–372). https://hdl.handle.net/10993/36635

The most cited

9 citations (Scopus®)

Bana, G., Chadha, R., & Eeralla, A. (2018). Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker. In Computer Security (pp. 350–372). https://hdl.handle.net/10993/36635

Bana, G., Chadha, R., & Eeralla, A. (2018). Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker. In Computer Security (pp. 350–372).
Peer reviewed

Bana, G. (2017). Models of Objective Chance: An Analysis through Examples. In Making it Formally Explicit (pp. 43-60). Springer.
Peer reviewed

Bana, G., & Okada, M. (2016). Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4. In Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (pp. 34:1–34:18).
Peer reviewed

Bana, G. (2016). On the Formal Consistency of the Principal Principle. Philosophy of Science. doi:10.1086/687932
Peer Reviewed verified by ORBi

Contact ORBilu