Security Type-Checker Enhancement Project: Python Subset
Budget: $10 – $30 USD
Looking for a skilled individual to collaborate on a project aimed at enhancing a security type-checker for a specific subset of Python. The project entails implementing an Information Flow Control (IFC) type system to enforce noninterference in designated functions and variables. Key tasks include defining LUB and GLB operations, type-checking expressions and statements, and conducting manual type-checking for program correctness.
Requirements:
Proficiency in Python programming and understanding of its syntax.
Familiarity with security type-checking systems, particularly Information Flow Control (IFC).
Experience with modifying and enhancing existing codebases.
Attention to detail to ensure accuracy and completeness in implementing features.
Effective communication skills for discussing requirements and providing progress updates.
If you're interested in contributing to this project and possess the requisite skills, please get in touch to discuss further details and project timelines. Looking forward to collaborating with you.
Requirements:
Proficiency in Python programming and understanding of its syntax.
Familiarity with security type-checking systems, particularly Information Flow Control (IFC).
Experience with modifying and enhancing existing codebases.
Attention to detail to ensure accuracy and completeness in implementing features.
Effective communication skills for discussing requirements and providing progress updates.
If you're interested in contributing to this project and possess the requisite skills, please get in touch to discuss further details and project timelines. Looking forward to collaborating with you.