Experience

Galois, Inc.

• United States
• Software Development
• 1 - 100 Employee

• Research Development Software Engineer Intern

  • May 2023 - Present

  Worked on two Projects: Project 1: Developed a platform-independent Format Transforming Encryption scheme using Large Language models (LLMs) in collaboration with the Cryptography engineering team. Project 2: Helped in designing a compiler to convert any LLVM program into SIEVE IR specifications, helping Zero-Knowledge Proof (ZKPs) backends reduce verification time. Worked on two Projects: Project 1: Developed a platform-independent Format Transforming Encryption scheme using Large Language models (LLMs) in collaboration with the Cryptography engineering team. Project 2: Helped in designing a compiler to convert any LLVM program into SIEVE IR specifications, helping Zero-Knowledge Proof (ZKPs) backends reduce verification time.



Georgia Institute of Technology

• United States
• Higher Education
• 700 & Above Employee

• Graduate Teaching Assistant

  • Jan 2023 - Present

  Teaching Assistant for CS 3510: Design and Analysis of Algorithms - Holding office hours for a class of nearly 300 students to clear out any doubts or offer personal assistance - Grading assignments and exams and preparing homework. Teaching Assistant for CS 3510: Design and Analysis of Algorithms - Holding office hours for a class of nearly 300 students to clear out any doubts or offer personal assistance - Grading assignments and exams and preparing homework.



Indian Institute of Technology Bhubaneswar (IIT Bhubaneswar)

• India
• Higher Education
• 100 - 200 Employee

• Research Engineeer

  • May 2020 - Oct 2022

  Research Focus: Trustworthy IoT/Wireless Sensor NetworksProject 1: Real-time Byzantine Fault Consensus in IoT- Developed an efficient protocol for achieving Byzantine consensus in IoT/WSN networksusing Synchronous Communication. Our proposed design can work up to 80% faster andconsume 82% less energy than a naive implementation in both simulation and emulation.Project 2: Privacy-Preserving Data Aggregation in IoT- Designed a privacy-preserving single-round protocol to acquire aggregate statistics through carefully leveraging cryptography and wireless communication ideas, operating up to 80\% faster and consuming up to 78\% lesser energy.Publications:1. Himanshu Goyal, Sudipta Saha. “Multi-Party Computation in IoT for Privacy-Preservation”. ICDCS 2022.2. Himanshu Goyal, Manish Kausik H, Sudipta Saha. “ReLI: Real-Time Lightweight Byzantine Consensus in Low-Power IoT Systems”. CNSM 2022.3. Himanshu Goyal, Krishna Kodali, Sudipta Saha. “LiPI: Lightweight Privacy-Preserving Data Aggregation in IoT ”. Under review in IoT Journal. Show less

• Graduate Teaching Assistant

  • May 2021 - May 2022

  - Machine Learning and Data Analytics (60+ students), Data Structures, and Algorithms(120+ students)- Special in-charge for 15 students. Designed recitations, tutorials, and lab-related exercises.



Indian Institute of Science (IISc)

• India
• Research
• 700 & Above Employee

• Research And Software Development Intern

  • Aug 2021 - Feb 2022

  Research Lab: Cryptography and Information Security Lab - Implemented Privacy-Preserving algorithms for secure inference for machine learning algorithms using the ABY3 framework. - Developed algorithms used Secret sharing schemes and achieved a reduction in both com- communication and computation time than existing 3PC approaches for semi-honest settings. Research Lab: Cryptography and Information Security Lab - Implemented Privacy-Preserving algorithms for secure inference for machine learning algorithms using the ABY3 framework. - Developed algorithms used Secret sharing schemes and achieved a reduction in both com- communication and computation time than existing 3PC approaches for semi-honest settings.



CNERG - Complex Networks Research Group, IIT Kharagpur

• India
• Research
• 1 - 100 Employee

• Software Engineering Intern

  • May 2021 - Aug 2021

  - Designed and validated algorithms for the characterization of workload in Multi-tier Cloud Infrastructure. The work focused on considering the dynamics of multiple servers and multiple users compared to the single-server approaches. - Modeled the influence among servers with the help of the Gaussian Mixture Model (GMM), Mixture Density Network (MDN), and Bayesian Belief Network (BBN). In addition to workload characterization, the algorithm could detect malicious users performing DDoS attacks. Show less



Tata Consultancy Services

• India
• IT Services and IT Consulting
• 700 & Above Employee

• Software Engineering Intern

  • Jan 2021 - May 2021

  - Collaborated with the members of Embedded Systems and Robotics Lab. Build customized language models for cognitive robotics applications that can aid local speech-to-text recognition. - Our optimized language models performed invariably better than the existing state-of-art statistical language models. - Collaborated with the members of Embedded Systems and Robotics Lab. Build customized language models for cognitive robotics applications that can aid local speech-to-text recognition. - Our optimized language models performed invariably better than the existing state-of-art statistical language models.