introduction, statement, condential, data, analysed, processed, areas, businesses, collect, analyse, customers, government, institutions, decisions, regarding, health, employment, education, strategies, cloud, computing, services, necessarily, private, information, provide, researchers, patients, evaluate, develop, medical, treatments, causes, diseases, however, valid, concern, personal, collected, used, support, compromising, privacy, individual, goal, secure, multi, computation, securely, function, inputs, revealing, multiple, cryptographic, methods, exist, sharemind, platform, implements, programming, privacypreserving, applications, deployment, sharemindapplication, distributed, computers, compute, values, programs, implemented, language, called, dierent, guarantees, eciency, sharemindandsecrec, designed, current, implementation, secrecallows, programmer, compiler, assumes, versions, built, types, secrec, integers, booleans, oating, arithmetic, logic, operations, unsupported, error, occur, executed, excluded, statically, nonstandard, matching, shamirs, sharing, eld, prime, module, require, uncommon, length, memory, representation, extend, set, beyond, thesis, secreclanguage, added, dynamically, opposed, changing, reduce, writing, life, secrecprogrammer, easier, outline, structured, following, chapters, describes, background, denes, terms, secrecprogramming, detail, overview, preserving, syntax, subset, includes, syntactic, constructs, existing, features, completeness, formal, static, semantics, secrecthat, dened, syntactically, level, distinction, public, described, operator, denitions, expressions, conversion, extensions, proposed, author, aect, practical, issues, design, proposes, solutions, contribution, section, original, based, peeter, laud, jaak, randmets, dan, bogdanov, secreccompiler, main, challenges, designing, mechanism, requiring, minimal, eort, supporting, optimised, non, standard, making, pdks, convenient, combinations, scalar, vector, multiplication, preliminaries, model, nparties, th, output, protocols, leak, anything, deduced, result, mature, implementing, known, yaos, garbled, circuits, allow, shared, represented, encrypts, \garbles, xof, random, generated, possible, garble, corresponding, encrypted, using, decrypted, oblivious, transfer, reveal, decrypts, learned, evaluating, computed, published, revealed, comparing, extended, share, generate, mod, reconstructed, network, communication, local, example, xand, sum, modulo, benet, receive, independent, property, advantages, disadvantages, performance, characteristics, security, observe, deviate, active, choice, depends, balance, participate, ecient, lower, requirements, developing, developer, tools, additive, illustrated, sending, servers, combines, sharemindwas, pilot, pro, ject, whether, working, studying, university, graduation, rates, statistical, analysis, package, rmind, sharemindplatform, code, written, client, statisticians, communicates, secrecprogram, estonian, ministry, research, tax, customs, uploaded, sharemindservers, guaranteed, ensure, hosted, cybernetica, department, finance, system, authority, study, illustrates, conventional, due, protection, laws, components, procedural, typed, similar, suited, compiled, bytecode, interpreted, virtual, included, ma, jor, existed, supported, single, domain, polymorphic, procedures, secrecrelies, creating, performing, external, algorithms, business, building, sharemindframework, separate, specic, clearly, superior, consists, classifying, declassifying, relational, logical, actual, instance, alice, bob, carol, create, hosting, linked, programmed, interface, layer, implementer, exposes, invoked, allocating, deleting, assigning, etc, declare, secrecstandard, library, instantiated, primitive, dimensionality, variable, declaration, pd, publicwhich, omitted, dimensional, declared, zero, arrays, declaring, operating, yare, yis, product, correct, according, operands, applied, multiplying, multiply, elements, index, reported, usesinformation, ow, control, class, labels, indicating, form, semilattice, partially, ordered, upper, bound, ordering, relation, states, leaked, returned, shown, composable, sequence, explicitly, declassied, parametric, polymorphism, templates, dimension, quantiers, relies, write, templated, concrete, constraint, solely, expected, secrecalso, overloading, generic, sorting, signature, given, scope, choose, listing, secreccode, logistic, calculates, received, calculated, exponential, syscall, externally, contains, usually, wrapped, directly, secrecis, currently, classication, declassication, rst, secreckind, mentioned, named, mul, vec, compile, interpreting, secreceasier, xed, although, signed, unsigned, straightforward, clear, approximate, sharemindsupports, modern, expensive, compared, considered, smaller, range, less, accurate, alternative, accuracy, opaque, allocate, unknown, allocations, addition, initialising, indexing, signicant, overhead, rearranged, inputandresult, consequently, performs, signicantly, equivalent, width, assignment, secreclibrary, dening, secrecwould, import, classied, binary, higher, ndata, msupported, nm, boilerplate, reduced, related, review, approach, discussed, distinguishing, extensive, matrix, algebra, conditionals, advanced, encryption, cipher, database, storing, generating, shuing, strings, hypothesis, testing, linear, regression, java, multiparty, runtime, installed, provided, running, evaluation, concurrent, channels, tunnels, remote, proven, trace, executions, unlike, conditions, checks, tracking, eects, ex, symbol, annotates, tracked, annotations, determine, secrecdoes, dierentiates, sint, int, distinguished, fairplay, fairplaymp, representing, roles, constructing, hardware, translated, loops, constant, iterations, evaluated, chosen, obliviously, inlined, unrolled, body, copied, exible, aggregate, determined, semantically, targets, irrelevant, describing, executing, twoparty, scheme, pailliers, additively, homomorphic, comparisons, demonstrate, minimum, combined, converting, framework, les, including, format, python, \client, \server, secrecbecause, unbounded, specically, native, techniques, numeric, identiers, messages, parallel, enables, combining, explicit, understand, relatively, useful, designers, topic, comparable, secrecbecausesecrec, underlying, concerned, required, cryptography, launchbury, et, al, created, haskell, embedded, xusing, xwhere, bitwise, exclusive, subtraction, connected, neighbour, receiving, previous, randomness, transformations, optimise, grouped, latency, rrounds, mseparate, rm, total, optimiser, unroll, alternates, further, concurrently, overlap, secrecuses, suitable, completely, interchangeable, addressed, apply, mitchell, dynamic, proof, specialised, mutable, recursion, manner, assuming, existence, thus, fully, abstractly, prove, concept, agnostic, description, user, specify, division, shifting, disallows, contexts, enclosing, square, brackets, relevant, wysteria, functional, formally, principals, participating, binding, mode, specied, performed, independently, involved, binds, alices, wfalice, gnat, natural, owned, sec, bundle, solves, millionaires, vis, containing, outsecurely, compares, retrieved, depending, richer, falice, smallest, ^s, parameter, psis, renement, typing, ^single, oblivm, lang, distinguishes, arbitrary, arguments, indexed, leaking, common, structures, dijkstras, shortest, stack, phantom, normally, unsafe, location, executes, false, re, leaves, unchanged, produces, actually, article, bigintegerimplementing, precision, mvariable, constantand, designates, secrecwhich, invoke, adding, tailored, overloaded, simplied, backus, naur, abstract, repetition, occurences, item, optional, casts, assumed, imported, syntactical, aected, \main, hkind, definition, htop, grammar, basic, oat, literals, alphanumeric, characters, underscores, useless, beginning, simplication, style, tn, xn, ftn, braces, gg, hdata, hexpression, iis, converts, xto, declassify, inspected, statistics, hidentifier, hassign, hstatement, htype, ig, hbinary, unary, hincdec, identifier, hfloat, jfalse, assign, incdec, hdimension, hprimitive, [[, hinteger, i]], bool, jint, jfloat, ltered, separated, calculating, satisfy, lter, leakes, generally, htemplate, hreturn, hprocedure, void, quantifier, hquantifier, replaced, constrains, typevariable, quantifying, quantication, dim, sake, simplicity, converted, intis, direct, mapping, initialise, float, secreccurrently, xor, def, optimising, management, limited, overload, remains, checking, improved, ioperator, hunary, intfor, passed, occasions, sense, inverse, similarly, \cast, icast, tin, replaces, parentheses, resis, intto, secrecsupports, secrecdescribed, protecting, labeled, classes, facilitate, sensitive, derived, preserve, xmust, restrictive, assigned, vdenes, partial, vd, dis, designating, nd, designated, hierarchy, dv, algebraic, tof, tis, fixtype, snippet, xshould, implicitly, floatis, fix, subtyping, co, lattice, dbe, kand, publicg^, exivity, match, notation, nto, represent, triple, xare, metavariables, inference, coinduction, formalised, axiomatic, axioms, accept, derivation, root, ranging, floatandintbe, simple, ei, judgement, below, horizontal, premises, tbe, proving, pwhich, interpret, inductively, coinductively, inductive, interpretation, process, repeated, resulting, consider, foperating, xis, pand, remove, greatest, innite, coinductive, emphasised, double, checked, prohibit, mutually, recursive, aand, acalls, band, bcalls, ais, bis, changed, userdened, postx, informally, reference, aliasing, formalise, unreachable, insecrec, unique, giving, refer, lbe, source, fand, referred, notational, conventions, publicand, treat, publicdomain, arg, ret, impl, mt, equally, tting, mand, mof, dof, likewise, selecting, implop, pselects, explained, later, unif, quantied, unifop, predicate, ois, meanings, pstates, pis, smeans, sis, nand, free, shorthand, nin, ehas, mg, sub, precedes, ebeing, welltyped, eand, supplied, implicit, regular, access, substituted, introduced, site, t[[, n]], sg, account, xhas, ematches, xaccording, equal, allowed, options, exception, declassies, neither, behaviour, desirable, fare, inecient, arithmetisation, manually, truevalue, falsevalue, purpose, bytes, easily, deallocation, eciently, intfpublic, gis, legal, fpublic, avoid, confusing, allowing, normal, readable, extensible, human, awith, awhere, classify, sucient, reshaping, nt, _n, td, missing, fails, judgment, nding, expects, mix, max, tif, taking, necessary, copying, returning, maximum, intthen, tfloat, intand, otherwise, intorfloat, emulate, equality, fixfpublic, fixand, reclassifyshould, assumption, illegal, disallowed, tand, increment, decrement, exactly, prex, being, incremented, solved, fewer, psearches, search, bas, bare, emphasis, dierence, voidto, invalid, weighing, uint, operate, attened, reshaped, unication, tfrom, unier, iterates, map, intsince, position, xwhich, unifying, proceeds, mwith, decided, yto, fixthen, xwould, fixvfloat, twe, instantiates, correctly, weight, lowest, prefer, general, reasoning, reason, desired, coexist, constrained, negation, ignore, floating, locally, specialized, likely, preferred, architecture, libscc, parser, bison, generator, parsing, intermediate, generation, executable, sharemindvirtual, assembly, assembler, analysing, loaded, checker, remaind, mostly, compiling, removed, lexical, analyser, stored, node, retrieve, github, sdk, analyzer, https, com, flex, sourceforge, net, software, foundation, www, gnu, org, finding, instantiating, monomorphic, scoring, score, looked, unied, updated, iterating, substitution, failure, principle, claims, report, blame, itself, caused, cached, numerictype, subtype, numericare, essentially, numericdata, global, processing, continuous, pass, allocated, calling, future, inserted, largest, copy, larger, restrictions, record, trivial, complicated, secrecused, forbidden, implications, linker, debugging, dicult, situation, thousands, incorrect, installation, considering, dangerous, debug, reused, highest, passive, adversary, acceptable, partners, host, reuse, exibility, exacerbated, lack, secrecwithout, unusual, specication, slightly, prohibitively, secreconly, compatibility, reasonable, nes, organised, descriptive, prepended, hierarchical, having, secrecmodule, documentation, doxygen, parses, trial, nl, dimitri, lite, limiting, accepted, nominative, accidentally, stating, workaround, tfor, tmay, andintbut, andfloat, counting, doing, privately, originated, shued, unfortunately, unused, tpub, proxy, publictype, logarithm, optimisation, inline, unnecessary, internally, possibly, serialised, pattern, secrechave, dealing, especially, reordering, permutation, ob, pointers, conclusion, extending, internals, developed, accomodate