Skip to content


  • Pro


@openETCS @ModelWriter @UNIT-Research-Development @atsen-conferences @ECSA2016 @Assume-Project
Block or Report

Block or report ferhaterata

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Hi there 👋

  • 🔭 I’m currently working on Hardware/Software Security and Verification Research at Yale University
  • 📕 I’m currently learning post-quantum cryptographic implementations
  • 💬 Ask me about formal analysis
  • 📫 How to reach me:
  • Fun fact: I'm a PhD Student.


  1. A Platform for Automated Analysis of Traceability (WP3)

    Java 8 1

  2. Kodkod solver for relational logic

    Java 68 21

  3. Embedding of First-Order Relational Logic into Meta-Object Facility

    Java 3 1

  4. vc-gen Public

    Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language

    C++ 2

  5. micro SAT solver written in c++


  6. etap Public

    Energy-aware Timing Analysis of Intermittent Programs

    HTML 1 1

416 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 2022

5 contributions in private repositories Dec 2 – Dec 5

Seeing something unexpected? Take a look at the GitHub profile guide.