Giter Club home page Giter Club logo
Vladislav Dubrovenski photo

vladi7 Goto Github PK

followers: 0.0 following: 0.0 repos: 26.0 gists: 0.0

Name: Vladislav Dubrovenski

Type: User

Bio: PhD Candidate             SE: C#, React, Vue3, Python, Java, SMTLIBv2            DevOps: Terraform, Ansible, Crossplane, Docker, Kubernetes, Jenkins

Hey! Nice to see you.

About Me:

👋Welcome to my Page!
I'm Vladislav, PhD Candidate at the University of Missouri-Kansas City, from Kansas, USA

Things I code with

.Net Python Java Kotlin React Lua PyTorch TensorFlow Apache Kafka

Databases I work with

MySQL Postgres Redis InfluxDB MongoDB

Things I deploy to

Cloud Platforms:

Azure Oracle Cloud Infrastructure Google Cloud

Operating Systems:

Debian Windows

Deployment Platforms:

Kubernetes Docker Nginx Apache Tomcat

Things I automate with

GitHub Actions Terraform Jenkins Ansible

Platforms I administer and monitor with

Grafana Prometheus Power Bi SonarQube AquaSec

Publications

📝 Title 📑 Citation
SMT-Based Verification of NGAC Policies Dubrovenski, V., Chen, E., & Xu, D. (2023, June). SMT-Based Verification of NGAC Policies. 2023 IEEE 47th Annual International Computer Software and Applications Conference (COMPSAC 2023), Torino, Italy.
Dynamic Access Control with Administrative Obligations: A Case Study Dubrovenski, V., Karim, N., Erzhuo, C., & Xu, D. (2023). Dynamic Access Control with Administrative Obligations: A Case Study. 2023 IEEE 23nd International Conference on Software Quality, Reliability and Security Companion(QRS-C 2023), Chiang Mai, Thailand.
Detecting Errors in NGAC Policies Via Fault-Based Testing E. Chen, V. Dubrovenski and D. Xu, "Detecting Errors in NGAC Policies Via Fault-Based Testing," in IEEE Transactions on Dependable and Secure Computing.
Coverage-Based Testing of Obligations in NGAC Systems Chen, E., Dubrovenski, V., & Xu, D. (2023, June). Coverage-Based Testing of Obligations in NGAC Systems. The ACM Symposium on Access Control Models and Technologies (SACMAT 2023), Barcelona, Spain.
Mutation Analysis of NGAC Policies Chen, E., Dubrovenski, V., & Xu, D. (2021, June). Mutation Analysis of NGAC Policies. The ACM Symposium on Access Control Models and Technologies (SACMAT 2021), Barcelona, Spain.

Open Source Projects

🎁 Projects 📰 Description
GPMS-NGAC Proposal Workflow Management System - A web-based application for automating the approval process of grant submissions at an academic institution. GPMC-NGAC is the first real-world open-source Next Generation Access Control system.
Policy Machine Analyzer(POMA) Policy Machine Analyzer: a tool for testing and verifying NGAC (Next Generation Access Control) policies
Drone Video Recognition Angular/nodejs project for tello drone with computer vision concepts
Case Tracking System Case tracking system implemented with Angular and Google Firebase
Twitter Analytics with SparkSQL Scala-based project performing sentiment analysis of a large number of tweets. UI is ScalaFX
TCP Multicast Chat C-based TCP multicast chat

Experience

🔬 Formal Verification & Security Researcher: 5 years

📜 Microsoft Certified: Azure Developer Associate(AZ-204) & Azure Administrator Associate(AZ-104)

Vladislav Dubrovenski's Projects

bnf icon bnf

:no_entry: ARCHIVED :no_entry:

cvc4 icon cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

gpms-ngac icon gpms-ngac

Grant Proposal Management System using NGAC

summarization-datasets icon summarization-datasets

Pre-processing and in some cases downloading of datasets for the paper "Content Selection in Deep Learning Models of Summarization."

ubalt icon ubalt

Forensics Science Education

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.