introduction, problem, statement, condential, data, analysed, processed, areas, collect, analyse, institutions, decisions, regarding, employment, education, strategies, computing, necessarily, private, information, provide, researchers, patients, evaluate, develop, medical, treatments, causes, diseases, valid, concern, personal, collected, support, compromising, privacy, individual, secure, multi, computation, securely, function, inputs, revealing, multiple, cryptographic, methods, exist, sharemind, implements, programming, privacypreserving, applications, deployment, sharemindapplication, distributed, computers, compute, programs, implemented, called, dierent, guarantees, eciency, sharemindandsecrec, designed, current, implementation, secrecallows, programmer, compiler, assumes, method, versions, types, secrec, integers, booleans, oating, supports, logic, operations, unsupported, operation, error, occur, program, executed, errors, excluded, statically, nonstandard, matching, type, shamirs, sharing, eld, prime, module, require, uncommon, memory, representation, programmers, extend, beyond, thesis, secreclanguage, added, dynamically, opposed, changing, reduce, secrecprogrammer, easier, structured, chapters, chapter, denes, secrecprogramming, detail, overview, preserving, syntax, subset, includes, syntactic, constructs, existing, features, completeness, formal, static, semantics, secrecthat, dened, syntactically, distinction, described, operator, denitions, expressions, conversion, extensions, proposed, aect, practical, issues, design, proposes, solutions, contribution, section, original, contributions, based, peeter, laud, jaak, randmets, dan, bogdanov, secreccompiler, main, challenges, designing, dene, mechanism, requiring, minimal, eort, supporting, optimised, special, non, standard, pdks, convenient, secrecprogrammers, combinations, input, scalar, vector, multiplication, preliminaries, model, nparties, th, provides, output, outputs, protocols, deduced, result, mature, implementing, yaos, garbled, circuits, shared, represented, boolean, circuit, encrypts, \garbles, xof, random, generated, garble, corresponding, encrypted, using, decrypted, oblivious, transfer, reveal, decrypts, evaluating, computed, published, revealed, comparing, extended, generate, mod, reconstructed, network, communication, local, computations, results, example, xand, modulo, benet, independent, property, advantages, disadvantages, performance, characteristics, security, observe, deviate, protocol, active, application, balance, participate, ecient, lower, requirements, developing, implementations, developer, additive, illustrated, sending, servers, combines, sharemindwas, pilot, pro, ject, whether, working, studying, university, aects, graduation, statistical, analysis, rmind, sharemindplatform, code, client, statisticians, computer, communicates, secrecprogram, estonian, ministry, research, customs, uploaded, sharemindservers, statistician, guaranteed, ensure, hosted, cybernetica, department, finance, system, authority, illustrates, conventional, protection, implement, components, component, procedural, typed, similar, suited, compiled, bytecode, interpreted, virtual, included, sharemindserver, jor, existed, supported, domain, polymorphic, procedures, domains, secrecrelies, creating, performing, external, algorithms, business, sharemindframework, specic, clearly, superior, consists, classifying, declassifying, relational, logical, actual, instance, alice, carol, create, hosting, linked, server, modules, programmed, interface, layer, implementer, exposes, invoked, expose, allocating, deleting, integer, vectors, assigning, etc, declare, secrecstandard, instantiated, primitive, dimensionality, us, variable, declaration, pd, publicwhich, omitted, dimensional, declared, scalars, zero, arrays, declaring, operating, yare, yis, product, according, variables, operands, applied, expression, multiplying, elements, index, reported, usesinformation, ow, control, class, labels, indicating, semilattice, partially, ordered, bound, ordering, relation, leaked, returned, procedure, shown, composable, sequence, explicitly, declassied, parametric, polymorphism, templates, dimension, quantiers, algorithm, relies, templated, concrete, dimensions, constraint, solely, expected, secrecalso, overloading, generic, version, sorting, signature, scope, listing, secreccode, logistic, calculates, received, calculated, illustrate, feature, exponential, syscall, externally, contains, usually, directly, secrecis, currently, classication, declassication, operators, rst, issue, secreckind, mentioned, named, mul, vec, contain, compile, occurs, interpreting, secreceasier, xed, although, signed, unsigned, straightforward, approximate, sharemindsupports, modern, expensive, compared, representations, considered, smaller, range, less, accurate, alternative, accuracy, opaque, allocate, allocations, allocation, addition, initialising, indexing, signicant, rearranged, inputandresult, requires, consequently, performs, signicantly, equivalent, width, assignment, declarations, secreclibrary, dening, conversions, secrecwould, import, operand, classied, binary, higher, ndata, msupported, nm, boilerplate, reduced, related, approach, problems, discussed, distinguishing, extensive, matrix, algebra, conditionals, statements, advanced, encryption, cipher, database, storing, generating, shuing, hypothesis, testing, linear, regression, java, multiparty, runtime, secrecprograms, installed, provided, evaluation, concurrent, communicate, channels, remote, proven, executions, guarantee, unlike, conditions, conditional, tracking, eects, ex, reveals, symbol, annotates, tracked, annotations, determine, secrecdoes, dierentiates, sint, int, distinguished, concerns, benets, fairplay, fairplaymp, representing, roles, extends, constructing, denition, translated, constant, iterations, evaluated, obliviously, condition, inlined, unrolled, copied, iteration, exible, aggregate, determined, semantically, targets, irrelevant, describing, executing, twoparty, scheme, pailliers, additively, homomorphic, comparisons, demonstrate, minimum, combined, converting, schemes, framework, yao, les, including, format, python, \client, \server, secrecbecause, unbounded, specically, combination, native, techniques, numeric, identiers, sections, parallel, enables, combining, explicit, functions, mechanisms, primitives, relatively, 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, reduces, latency, rrounds, mseparate, multiplications, rm, total, optimiser, unroll, execution, alternates, instances, concurrently, overlap, secrecuses, suitable, completely, interchangeable, addressed, apply, mitchell, dynamic, proof, specialised, mutable, recursion, manner, assuming, existence, thus, shamir, abstractly, concept, agnostic, description, extension, user, specify, declares, division, shifting, disallows, contexts, indices, enclosing, brackets, clients, relevant, wysteria, functional, formally, principals, participating, binding, mode, specied, modes, performed, independently, involved, principal, alices, wfalice, gnat, natural, owned, sec, ps, solves, millionaires, vis, containing, outsecurely, retrieved, bracket, depending, richer, falice, computes, smallest, element, ^s, parameter, psis, renement, typing, ^single, oblivm, lang, distinguishes, arbitrary, arguments, indexed, leaking, common, structures, dijkstras, shortest, structure, phantom, normally, unsafe, location, executes, re, unchanged, produces, actually, article, bigintegerimplementing, precision, mvariable, constantand, designates, secrecwhich, invoke, adding, tailored, overloaded, simplied, backus, naur, abstract, repetition, occurences, occurence, item, optional, imports, casts, assumed, cast, imported, syntactical, aected, \main, hkind, definition, htop, grammar, basic, literals, consist, alphanumeric, characters, underscores, useless, assume, simplication, style, tn, xn, ftn, braces, array, gg, hdata, hexpression, iis, converts, xto, declassify, inspected, statistics, hidentifier, hassign, hstatement, htype, ig, hbinary, unary, hincdec, identifier, literal, hfloat, jfalse, assign, incdec, hdimension, hprimitive, [[, hinteger, i]], bool, jint, jfloat, ltered, separated, calculating, statistic, satisfy, lter, leakes, generally, htemplate, hreturn, hprocedure, void, template, quantifier, hquantifier, quantier, replaced, constrains, typevariable, quantifying, quantication, sake, simplicity, converted, intis, include, mapping, initialise, secreccurrently, xor, comparison, def, convert, optimising, management, limited, overload, exists, checking, improved, ioperator, hunary, intfor, parameters, identier, passed, occasions, inverse, similarly, \cast, argument, icast, replaces, parentheses, resis, intto, secrecsupports, secrecdescribed, protecting, labeled, facilitate, sensitive, derived, preserve, label, xmust, restrictive, ensures, assigned, context, vdenes, partial, vd, dis, designating, nd, designated, hierarchy, dv, algebraic, tof, tis, fixtype, snippet, xshould, implicitly, floatis, subtyping, co, lattice, dbe, kand, publicg^, exivity, notation, nto, represent, triple, xare, metavariables, dimensionalities, inference, coinduction, formalised, axiomatic, axioms, produce, derivation, metavariable, ranging, floatandintbe, ei, judgement, horizontal, premises, judgements, tbe, proving, pwhich, interpret, inductively, coinductively, inductive, interpretation, process, repeated, resulting, consider, foperating, xis, pand, greatest, innite, coinductive, emphasised, checked, prohibit, mutually, recursive, aand, acalls, bcalls, ais, bis, assignments, changed, userdened, postx, informally, reference, aliasing, locations, formalise, unreachable, insecrec, unique, refer, lbe, source, fand, referred, notational, conventions, pdk, designate, publicand, publicdomain, arg, ret, impl, mt, equally, tting, mand, mof, dof, likewise, selecting, implop, pselects, explained, later, mappings, unif, quantied, unifop, predicate, ois, meanings, pstates, pis, smeans, sis, nand, shorthand, nin, ehas, mg, sub, precedes, ebeing, welltyped, eand, supplied, implicit, regular, access, substituted, introduced, site, t[[, n]], sg, applies, xhas, eis, ematches, xaccording, allowed, options, exception, declassies, behaviour, desirable, combine, inecient, arithmetisation, manually, truevalue, falsevalue, purpose, bytes, easily, deallocation, eciently, intfpublic, gis, legal, fpublic, avoid, confusing, allowing, normal, probably, readable, extensible, human, awith, awhere, classify, sucient, classications, reshaping, nt, _n, td, missing, judgment, nding, practice, max, tif, necessary, copying, returning, maximum, intthen, tfloat, intand, intorfloat, emulate, requirement, equality, fixfpublic, fixand, reclassifyshould, assumption, illegal, disallowed, tand, increment, decrement, exactly, prex, incremented, solved, fewer, psearches, creates, considers, bas, emphasis, dierence, voidto, invalid, nds, weighing, uint, operate, attened, reshaped, unication, tfrom, unier, iterates, bindings, intsince, position, xwhich, unifying, proceeds, mwith, decided, yto, fixthen, xwould, fixvfloat, twe, instantiates, correctly, assigns, weight, lowest, prefer, reasoning, reshapings, desired, matrices, coexist, constrained, negation, ignore, floating, locally, specialized, preferred, architecture, libscc, parser, bison, generator, parsing, intermediate, generation, executable, compiles, sharemindvirtual, assembly, assembler, analysing, loaded, remaind, compiling, removed, lexical, analyser, stored, node, retrieve, github, sdk, analyzer, https, com, http, flex, sourceforge, software, foundation, www, gnu, org, finding, instantiating, monomorphic, ts, avoids, scoring, looked, unied, updated, iterating, substitution, failure, principle, claims, caused, substitutions, cached, numerictype, subtype, numericare, essentially, numericdata, details, global, processing, continuous, symbols, pass, allocated, future, inserted, largest, larger, restrictions, trivial, complicated, secrecused, forbidden, implications, users, linker, debugging, dicult, situation, incorrect, installation, considering, dierences, dangerous, debug, reused, jects, highest, passive, adversary, acceptable, reuse, exibility, exacerbated, lack, secrecwithout, unusual, specication, slightly, prohibitively, secreconly, compatibility, reasonable, nes, rely, organised, descriptive, prepended, hierarchical, secrecmodule, documentation, purposes, doxygen, parses, trial, nl, dimitri, constrain, predicates, concepts, 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, ignores, pattern, secrechave, dealing, especially, reordering, permutation, ob, pointers, byte, conclusion, extending, internals, developed, accomodate