Vikash Kodati

Vikash Kodati

Greater Seattle Area
4K followers 500+ connections

Join to follow

About

I am a seasoned technology leader with over two decades of experience in engineering…

Articles by Vikash

See all articles

Activity

Join now to see all activity

Experience

  • ASICS Digital Graphic

    ASICS Digital

    Seattle, Washington, United States

  • -

    Seattle, Washington, United States

  • -

    Greater Minneapolis-St. Paul Area

  • -

    Greater Minneapolis-St. Paul Area

  • -

    Bengaluru Area, India

  • -

    Bengaluru Area, India

  • -

    Paris Area, France

  • -

    Lisbon Area, Portugal

Education

Licenses & Certifications

Volunteer Experience

  • IIT Guwahati Alumni Association Graphic

    Treasurer / CFO

    IIT Guwahati Alumni Association

    - Present 3 years 3 months

    Social Services

    Established the entity at State and Federal level as a 501(c)(3) non-profit. This forms the platform for fundraising.
    IITGAA Treasury Newsletter: Launched to educate and provide updates about Treasury and Finance related activities: Charitable Matching Gift Programs, Tax-Deductible Donations etc...)
    Relationship building and networking with all IITs and PanIIT leadership for policy definition and execution
    Launched webinar series titled "Dialog" featuring industry experts on relevant…

    Established the entity at State and Federal level as a 501(c)(3) non-profit. This forms the platform for fundraising.
    IITGAA Treasury Newsletter: Launched to educate and provide updates about Treasury and Finance related activities: Charitable Matching Gift Programs, Tax-Deductible Donations etc...)
    Relationship building and networking with all IITs and PanIIT leadership for policy definition and execution
    Launched webinar series titled "Dialog" featuring industry experts on relevant topics for the broader IITG community.
    Fundraising through grassroots motivation and feedback loops.
    Relationship building with Alma Mater leadership
    Registed with Paypal Giving Fund, enabling tax-deductible donations without transaction fees directly through personal PayPal accounts for enhanced impact of causes that you champion.

  • IIT Guwahati Alumni Association Graphic

    Executive Committee Member

    IIT Guwahati Alumni Association

    - 3 years 1 month

    Social Services

    Executive Member at IITG Alumni Association
    Working towards increasing IIT Guwahati presence in Pan IIT 2011 @ NY
    http://www.iit2011.org/

  • PANIIT USA Graphic

    Board Member

    PANIIT USA

    - Present 3 years 3 months

    https://www.iit.org/page/2023-paniit-usa-board-members-january-2023

Publications

  • A Java Card CAP converter in PVS

    Elsevier

    The Java Card language is a trimmed down dialect of Java aimed at programming smart cards. Java Card specifies its own class file format (the Java Card Converted APplet (CAP) format) that is optimised with respect to the limited space resources of smart cards. This paper deals with the certified development of algorithms necessary for the conversion of ordinary Java class files into the CAP format. More precisely, these algorithms are concerned with constructing and compressing method tables…

    The Java Card language is a trimmed down dialect of Java aimed at programming smart cards. Java Card specifies its own class file format (the Java Card Converted APplet (CAP) format) that is optimised with respect to the limited space resources of smart cards. This paper deals with the certified development of algorithms necessary for the conversion of ordinary Java class files into the CAP format. More precisely, these algorithms are concerned with constructing and compressing method tables and constant pools. The main contribution of this paper is to specify and prove the correctness of these algorithms using the theorem prover PVS.
    https://scholar.google.com/citations?user=-Q_onYQAAAAJ
    http://www.irisa.fr/lande/jensen/cocv.ps

    Other authors
    • Thomas Genet Thomas Jensen David Pichardie
    See publication

Patents

  • Authentication token request with referred application instance public key

    Issued US-11438168-B2

    A server application may request an authentication token from an authentication token provider on behalf of a client application instance. An application instance public key of a client application instance may be received at the server application, in which the application instance public key belongs to an application instance public-private key pair of the client application instance. An authentication token request is generated at the server application, in which the request includes the…

    A server application may request an authentication token from an authentication token provider on behalf of a client application instance. An application instance public key of a client application instance may be received at the server application, in which the application instance public key belongs to an application instance public-private key pair of the client application instance. An authentication token request is generated at the server application, in which the request includes the application instance public key of the client application instance and is signed with a server application private key of a server application public-private key pair that belongs to the server application. The authentication token request is sent by the server application to an authentication token provider to request an authentication token for use by the client application instance.

    See patent

  • Recursive token binding for cascaded service calls

    Issued US-11095455-B2

    The present disclosure describes techniques that improve upon the use of authentication tokens as a means of verifying a user identity. Rather than facilitating the issuance of authentication tokens as bearer tokens, whereby any user may present an authentication token to a secure service provider for access to secure service, this disclosure describes techniques for generating recursive authentication tokens that are digitally signed by an Identity Service Provider (IDP) and the entity that…

    The present disclosure describes techniques that improve upon the use of authentication tokens as a means of verifying a user identity. Rather than facilitating the issuance of authentication tokens as bearer tokens, whereby any user may present an authentication token to a secure service provider for access to secure service, this disclosure describes techniques for generating recursive authentication tokens that are digitally signed by an Identity Service Provider (IDP) and the entity that purports to present the authentication token to the service provider. Additionally, a recursive token application is described that is configured to nest preceding authentication tokens that trace back to an initial secure service request. For example, a recursive authentication token received by a second service provider may include, nested therein, the first service provider recursive authentication token and a preceding client recursive authentication token that is associated with the initial secure service request.

    See patent

Honors & Awards

  • VIP Award

    T-Mobile Digital Technology

  • Ameriprise 2008 Chairman’s Award for Excellence.

    Ameriprise

    FSC Project at Ameriprise has achieved 2008 Chairman’s Award for Excellence. A very complex project delivered in a diverse environment.

  • Financial Services BU Award

    Trilogy

More activity by Vikash

View Vikash’s full profile

  • See who you know in common
  • Get introduced
  • Contact Vikash directly
Join to view full profile

Other similar profiles

Explore top content on LinkedIn

Find curated posts and insights for relevant topics all in one place.

View top content

Add new skills with these courses

See all courses