This is a repository that contains code and additional supplements for the paper "Information Flows in Encrypted Databases". The folders Cleartext contains stored procedures in the TPCC benchmark. The folders NoFlows, NoExp and NoExpAdd contain client and server side components of TPCC generated by the SecureSQL compiler for different policies. Each folder also contains a policy file describing the policy.