Syed Abdus Salam | Cybersecurity & Blockchain Portfolio

syed@portfolio:~

Syed Abdus Salam's Portfolio Terminal v1.0.0

Type help to see available commands

syed@portfolio:~$

▋

About Me

A Cyber Security enthusiast from India, passionate about cybersecurity, blockchain technology, and ethical hacking. Constantly learning new technologies and defense mechanisms.

Background

Cybersecurity Engineer and Blockchain Developer focusing on securing digital assets and developing robust Web3 applications.

Skills

Specialized in smart contract auditing, penetration testing, and secure full-stack development with React, Next.js, and Solidity.

Focus Areas

DeFi security, zero-knowledge proofs, blockchain interoperability, and developing practical applications at the intersection of Web3 and cybersecurity.

Interests

When not coding, I enjoy solving CTF challenges, contributing to open-source security tools, and exploring the latest advancements in cryptography.

Skills & Focus

▶ CTF Challenges
▶ Open Source Contributions
▶ Decentralized Finance
▶ Zero Knowledge Proofs
▶ Advanced Cryptography

Areas of Focus

▶ Network Security (CompTIA)
▶ Penetration Testing
▶ Blockchain Architecture
▶ DeFi Security
▶ AI & ML Security

Interests

CTF Challenges

Open-Source Security Tools

Cryptography

Blockchain Technology

Cybersecurity

Tools & Technologies

The technologies and tools I've mastered for cybersecurity, blockchain development, and software engineering

Development & Version Control

Git

GitHub

Docker

Webpack

CI/CD

VS Code

Figma

Security & Blockchain Tools

Solidity

Wireshark

BurpSuite

Remix IDE

Nmap

Splunk

Snort

Projects

A collection of my cybersecurity, blockchain, and IoT projects

Home Automation Switch using Raspberry Pi

A smart home automation system built on Raspberry Pi OS that allows remote control of home appliances through a responsive web interface. Features include scheduling, voice commands via integration with virtual assistants, and mobile app control.

Raspberry Pi

Python

IoT

GPIO

Flask

Key Contributions:

Designed and built a complete IoT system using Raspberry Pi to control home appliances remotely
Implemented secure web interface with Flask to control devices from any browser
Integrated voice command capabilities with virtual assistants for hands-free control
Created mobile app companion for convenient control on the go

Cloud-Based File Storage System with AWS S3

November 2024 - December 2024

Developed a cloud-based file upload and download system using AWS S3 for secure file storage. Integrated AWS IAM (Identity and Access Management) roles and policies to ensure secure access control and implement best practices in data security. The project enables efficient and scalable storage of files in the cloud, allowing users to upload, download, and manage their files with ease.

AWS S3

IAM

AWS SDK

Node.js

React

Key Contributions:

File Storage: Leveraged AWS S3 for reliable, scalable file storage, ensuring high availability and durability of files.

Smart Contract Auditing & Formal Verification

Conducted comprehensive auditing and formal verification of smart contracts to ensure correctness and identify vulnerabilities before deployment. Used advanced mathematical techniques to prove the absence of critical bugs and vulnerabilities in blockchain applications.

Solidity

Dafny

K Framework

Formal Methods

Ethereum

Key Contributions:

Applied formal verification techniques to mathematically prove smart contract correctness
Utilized Dafny and K Framework to model and verify contract behavior against specifications
Identified and remediated potential vulnerabilities in smart contract implementations
Developed verification templates to streamline the auditing process for future contracts