Pinned Repositories
aepp-docs
aepps.com documentation repository
bagpipe
BGP Policy Verification
bellog
Tools for the four-valued logic programming language BelLog
bellog-analysis
BelLog analysis examples
ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
gephi
trunk
midpoint
Tool for constructing formal specifications of midpoints
secfuzz
IKE fuzzer
smart-contract-best-practices
spctl
SpCTL Synthesizer for Access Control Policies
ptsankov's Repositories
ptsankov/secfuzz
IKE fuzzer
ptsankov/spctl
SpCTL Synthesizer for Access Control Policies
ptsankov/ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
ptsankov/gephi
trunk
ptsankov/smart-contract-best-practices
ptsankov/aepp-docs
aepps.com documentation repository
ptsankov/bagpipe
BGP Policy Verification
ptsankov/bellog
Tools for the four-valued logic programming language BelLog
ptsankov/bellog-analysis
BelLog analysis examples
ptsankov/midpoint
Tool for constructing formal specifications of midpoints
ptsankov/polisy
Policy Synthesis Framework
ptsankov/try_git
ptsankov/webcheck