Ivica Nikolic

Asia-Pacific Computer Systems Architecture Conference · 2009–2018

A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Ivica Nikolic trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Anthony Dewayne Hunt
  2. Leonardo de Moura
  3. Jean-Christophe Filliâtre
  4. Johannes Krupp
  5. Ilya Grishchenko
  6. Arie Gurfinkel
  7. Loi Luu
  8. Joan Daemen
  9. Nikolaj S. Bjørner
  10. A. Paskevich

Who trusts Ivica Nikolic overall

  1. Christof Ferreira Torres
  2. Bo Jiang
  3. Yuan Zhuang
  4. Tai D. Nguyen
  5. Jingxuan He
  6. Zhenguang Liu
  7. Julian Schütte
  8. Ye Liu

Papers from Ivica Nikolic's perspective

Ordered by how strongly the researchers Ivica Nikolic trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  2. Bitcoin: A Peer-to-Peer Electronic Cash System
  3. Z3: An Efficient SMT Solver
  4. The SeaHorn Verification Framework (International Conference on Computer Aided Verification)
  5. ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
  6. The random oracle methodology, revisited (JACM)
  7. Why3 - Where Programs Meet Provers (European Symposium on Programming)
  8. The Design of Rijndael
  9. The Design of Rijndael: AES - The Advanced Encryption Standard
  10. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts (USENIX Security Symposium)

Their papers