google-research / raksha Public

Notifications You must be signed in to change notification settings
Fork 17
Star 35

Code
Issues 70
Pull requests 45
Actions
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Security
Insights

Issues: google-research/raksha

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

70 Open 139 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Milestones

Filter by milestone

Assignee

Filter by who’s assigned

Assigned to nobody

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Issues list

Create web API for Raksha

#752 opened Oct 4, 2022 by markww

datalog_policy_verifier library is used for too many things.

#728 opened Sep 21, 2022 by markww

Write Tests for the ToString methods in auth_logic/ast.h and datalog/program.h

#720 opened Sep 14, 2022 by aferr

ArcsJs Check that downgrade intent is correctly associated with downgrade tags and data

#710 opened Sep 8, 2022 by Cypher1

ArcsJs Support delegation of user input / action

#709 opened Sep 8, 2022 by Cypher1

Port/Replicate auth_logic tests in rust to C++

#698 opened Aug 30, 2022 by harsha-mandadi

Add tests and support for enforcing non-aggregation in ArcsJs

#689 opened Aug 24, 2022 by Cypher1

Add tests and support for ArcsJs output slicing

#688 opened Aug 24, 2022 by Cypher1

Add tests and support for ArcsJs opaque data and confidentiality tags

#687 opened Aug 24, 2022 by Cypher1

Add tests and support for ArcsJs opaque data and integrity tags

#686 opened Aug 24, 2022 by Cypher1

Add tests for ArcsJs declassification via appropriately trusted particles

#684 opened Aug 24, 2022 by Cypher1

ArcsJs support (Tracking issue)

#683 opened Aug 24, 2022 by Cypher1

Make AST node for IDs (Principal names / predicate argument names) authorization logic

#673 opened Aug 19, 2022 by aferr

Make separate AST node for Rvalues with distinct sub-nodes for predicates and numeric comparisons authorization logic

#672 opened Aug 19, 2022 by aferr

Improve auth_logic_ast_traversing_visitor_test.h

#666 opened Aug 18, 2022 by aferr

Generalize or import sql.* operators into appropriate namespaces (e.g. arcsjs.*)

#664 opened Aug 18, 2022 by Cypher1

Change ArcsJs DEFAULT_ARCSJS_OWNER to arcsjs

#663 opened Aug 18, 2022 by Cypher1

Catch when Souffle "helpfully" continues with malformed input in tests. enhancement

New feature or request

#657 opened Aug 16, 2022 by markww

Replace usage of variants in auth_logic/ast.h with subclasses authorization logic

#649 opened Aug 11, 2022 by aferr

Make an Abstract Class for Ast Node to Support Generic Helper Function in Visitor

#648 opened Aug 10, 2022 by aferr

Add Separate Nodes for Predicate and RelationDeclaration to auth_logic/ast.h

#644 opened Aug 9, 2022 by aferr

Cleanup copybara for authorization_logic

#641 opened Aug 8, 2022 by harsha-mandadi

Moving to rules_foreign_cc v0.8.0 breaks MacOS build.

#629 opened Aug 3, 2022 by shaper

Explore SMT solver as an optional tool in the Raksha toolbox.

#622 opened Jul 26, 2022 by shaper

Feature request: OperationBuilder and ModuleBuilder

#620 opened Jul 15, 2022 by Cypher1

Previous 1 2 3 Next

Previous Next

ProTip! Adding no:label will show everything without a label.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly