About Xsec Finance

Securing the Future.

Crypto World

Secure The Crypto World

Xsec Finance leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance.

Team

Leadership Team

David Mrinal

He has helped to launch numerous token sales for companies that have been valued at $1B peak market cap.

He has lectured at the University of California, consulted for professors, contributed to leading academic research, advised corporations, executives, CEOs, and have enjoyed one-on-one dialog with several Top 20 cryptocurrency founders. I am also an inventor of a blockchain-based TRNG and mechanism for blockchain-based provably-fair gameplay (USTPO patent pending).

He has been cited by Inc. Magazine and Fortune, and have consulted for over (20) blockchain and token-based Initial DEX Offerings (IDO), Initial Coin Offerings (ICO) or Security Token Offerings (STO) and am an advisor to (4) companies, one of which is publicly-traded. He has been interviewed by numerous publications, and have public-profiles in leading industry websites such as Crunchbase and AngelList.

Artie Cullum

He is a Fintech / DeFi consultant with more than 12 years of experience as well as having professional qualifications in banking & finance. He also worked on the development and on improvement and architecture design of a wide range of complex financial IT systems.

For the last 5 years, he has been working as a Core Blockchain architect using opensource blockchain projects and such technologies as: – Bitcoin, Ethereum, PIVX, ZCash, and other opensource based blockchain solutions – C++, Golang, and Rust for deep customization of any blockchain platform – Tendermint and Cosmos SDK with its modules.

Larry Tigran

He has an extensive experience in cryptocurrencies and have been tracking, researching and investing in it since 2013. He is aware of the impact it will have on our future and would love to share that information to the world. His expertise is in moving crypto off exchanges to cold storage, execute transaction on decentralized exchanges such as Metamask, Uniswap, etc, tracking down and recovering missing tokens on the Ethereum blockchain. Besides my Crypto experience, I’ve also gained valuable soft skills while working in the customer service field as a Solutions Specialist at Verizon.

Tech Team

Dastana Skovic

Expert level developer with more than 25 years of development experience. Proficient in:

Master of Science in Civil Engineering, Computer Science, option Embedded Systems
Implementation of the state-of-the-art proof-of-stake consensus protocol iChing in a new blockchain forked from Ethereum
Cryptocurrency exchange development involving communication through the RPC-JSON interface to monitor withdrawals and deposits of Bitcoin and other compatible altcoins, as well as the equivalent for NXT
Studied several PoW mining algorithms (including those from Bitcoin, LiteCoin (scrypt) and primecoin)

Dr. Maxim Stanoski

Maxim is a talented senior full-stack developer with a Doctorate in Computer Science.

He has a deep knowledge of blockchain technologies, specifically in constructing the decentralized application, fork & customizing the existing secure smart contracts, implementing trending methods like yield farming, building bridges between networks and etc.

OpenCL/GPU implementation of the bitcion and litecoin mining algorithms
Trading bots for the BTC-E exchange
Interfaces to ripple, bter and mtgox to gather market data
Study parts of the bitcion, ethereum, peercoin, memorycoin and bytecoin (cryptonote) source code

Dmitrii K

As a blockchain developer, he has 5 years experience with consensus algorithms, cryptography, P2P networks, mining, databases, and so on. Proficient in:

Create parachain-blockchain using Substrate;
Connect parachain to Polkadot \ Kusama;
Connect existing modules to Substrate – EVM, ink! contracts, etc;
Worked with XCMP protocol;
Used popular crates like libp2p, waves-rust, cyber-rs, monero-rs, rust-abci, etc;
Wrote smart contracts for Solana, Polkadot using Rust and CosmWasm.