Skip to content

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.

Sign up for GitHub

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
70 Open 139 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
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
1
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
@Cypher1
5
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
@Cypher1
Change ArcsJs DEFAULT_ARCSJS_OWNER to arcsjs
#663 opened Aug 18, 2022 by Cypher1
@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
@harsha-mandadi
1
Moving to rules_foreign_cc v0.8.0 breaks MacOS build.
#629 opened Aug 3, 2022 by shaper
@shaper
2
Explore SMT solver as an optional tool in the Raksha toolbox.
#622 opened Jul 26, 2022 by shaper
@shaper
2
Feature request: OperationBuilder and ModuleBuilder
#620 opened Jul 15, 2022 by Cypher1
ProTip! Follow long discussions with comments:>50.