Seeking Assistance to Enhance Security Type-Checker for Python Subset
Budget: $10 – $30 USD
I am seeking an experienced individual proficient in Python programming and familiar with security type-checking systems to assist me in enhancing a security type-checker for a subset of Python. The task involves implementing an Information Flow Control (IFC) type system to enforce noninterference in functions starting with 'h' or 'l', treating variables starting with 'h' as High. This enhancement includes defining Least Upper Bound (LUB) and Greatest Lower Bound (GLB) operations, type-checking expressions and statements, and manually type-checking a program.
Requirements:
Proficiency in Python programming.
Familiarity with security type-checking systems and Information Flow Control (IFC) concepts.
Ability to modify and enhance existing codebase.
Attention to detail to ensure correctness and completeness of implemented features.
Strong communication skills for discussing requirements and providing updates.
If you have the necessary skills and experience to assist with this task, please reach out to discuss further details and negotiate the terms of engagement. Thank you.
Requirements:
Proficiency in Python programming.
Familiarity with security type-checking systems and Information Flow Control (IFC) concepts.
Ability to modify and enhance existing codebase.
Attention to detail to ensure correctness and completeness of implemented features.
Strong communication skills for discussing requirements and providing updates.
If you have the necessary skills and experience to assist with this task, please reach out to discuss further details and negotiate the terms of engagement. Thank you.