Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

Security Analysis of Smart Contracts

A smart contract is a self-executing contract with the terms of the agreement between buyer and seller being directly written into lines of code. The code is stored on a blockchain across a distributed, decentralized blockchain network. The code controls the execution, and transactions are trackable and irreversible. Because the smart contract is irreversible, we must audit the written program to ensure it is secure.

Leveraging Language Models for Vulnerability Detection and Generation in Solidity Smart Contracts

This research focuses on enhancing the security of smart contracts written in Solidity by fine-tuning large language models (LLMs) for vulnerability classification and the generation of potentially vulnerable code. The project explores both binary and multi-class classification strategies to identify different types of vulnerabilities within smart contract code. By curating a specialized dataset, the study aims to improve the detection of security flaws that can lead to exploits in decentralized applications. In addition to classification, the research also investigates the use of LLM encoders to predict specific buggy lines of code. This approach is intended to enhance the precision of vulnerability detection, enabling developers to address issues at a more granular level. The computational resources of the Texas Advanced Computing Center (TACC) are being utilized to support the fine-tuning process and large-scale experimentation, allowing for efficient model training and validation. Ultimately, this work aims to contribute to the development of more secure smart contract ecosystems by providing robust tools for identifying and mitigating vulnerabilities at both the code level and during development.

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.