faustocarva Goto Github PK
Name: Fausto Carvalho Marques Silva
Type: User
Company: Brazilian Public Prosecutor's Office
Bio: Software Engineer
Location: Brasilia, Brazil
Name: Fausto Carvalho Marques Silva
Type: User
Company: Brazilian Public Prosecutor's Office
Bio: Software Engineer
Location: Brasilia, Brazil
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
Personal site
As the name says, some fun with c++14, comming from a C++ of the eighties.
Single Sign On server, OAuth2, Openid Connect, multiple factor authentication with, HOTP/TOTP, FIDO2, TLS Certificates, etc. extensible via plugins
fork of hephaestus-pl for the implementation of fDTMC and compositional DTMC.
A header only library for creating and validating json web tokens in c++
Repo containing downloaded PDFs, some code, and my Markdown notes taken during self-paced online LFS201 course hosted by the Linux Foundation
XText-based MetaCrySL language
mixins by the eyes of several languages
VPN-GUI to connect to Fortigate-Hardware, based on openfortivpn
A case study of a fuzzer in the Rascal Language
JWK, JWKS, JWS, JWE and JWT C library
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
Our flagship .NET Core Ethereum client for Linux, Windows, MacOs - full and actively developed.
An implementation of sqlite-exporter for a Product Line example using AHEAD tool suite.
An implementation of sqlite-exporter for a Product Line example using DeltaJ
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.