Preprocessing Based Verification of Multiparty Protocols with Honest Majority

AbstractThis paper presents a generic “GMW-style” method for turning passively secure protocols into protocols secure against covert attacks, adding relatively cheap offline preprocessing and post-execution verification phases. Our construction performs best with a small number of parties, and its main benefit is the total cost of the online and the offline phases. In the preprocessing phase, each party generates and shares a sufficient amount of verified multiplication triples that will be later used to assist that party’s proof. The execution phase, after which the computed result is already available to the parties, has only negligible overhead that comes from signatures on sent messages. In the postprocessing phase, the verifiers repeat the computation of the prover in secret-shared manner, checking that they obtain the same messages that the prover sent out during execution. The verification preserves the privacy guarantees of the original protocol. It is applicable to protocols doing computations over finite rings, even if the same protocol performs its computation over several distinct rings. We apply our verification method to the Sharemind platform for secure multiparty computations (SMC), evaluate its performance and compare it to other existing SMC platforms offering security against stronger than passive attackers.

Download Full-text

Texture measurements in Al2O3 using BEKP

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100170773 ◽

1994 ◽

Vol 52 ◽

pp. 608-609

Author(s):

M. D. Vaudin ◽

J. P. Cline

Keyword(s):

Neutron Diffraction ◽

Rapid Method ◽

Crystallographic Orientation ◽

Specimen Surface ◽

X Ray Diffraction ◽

Anisotropic Crystal ◽

X Ray ◽

Verification Method ◽

Crystal Properties ◽

Backscattered Electron

The study of preferred crystallographic orientation (texture) in ceramics is assuming greater importance as their anisotropic crystal properties are being used to advantage in an increasing number of applications. The quantification of texture by a reliable and rapid method is required. Analysis of backscattered electron Kikuchi patterns (BEKPs) can be used to provide the crystallographic orientation of as many grains as time and resources allow. The technique is relatively slow, particularly for noncubic materials, but the data are more accurate than any comparable technique when a sufficient number of grains are analyzed. Thus, BEKP is well-suited as a verification method for data obtained in faster ways, such as x-ray or neutron diffraction. We have compared texture data obtained using BEKP, x-ray diffraction and neutron diffraction. Alumina specimens displaying differing levels of axisymmetric (0001) texture normal to the specimen surface were investigated.BEKP patterns were obtained from about a hundred grains selected at random in each specimen.

Download Full-text

Optimizing Diagnostic Test Sequences: The Probability Modifying Plot

Methods of Information in Medicine ◽

10.1055/s-0038-1634143 ◽

1999 ◽

Vol 38 (01) ◽

pp. 50-55 ◽

Cited By ~ 2

Author(s):

P. F. de Vries Robbé ◽

A. L. M. Verbeek ◽

J. L. Severens

Keyword(s):

Urinary Tract Infection ◽

Urinary Tract ◽

Tract Infection ◽

Decision Trees ◽

Diagnostic Tests ◽

Test Sequence ◽

Optimal Sequence ◽

Specific Test ◽

Total Cost ◽

Modelling Techniques

Abstract:The problem of deciding the optimal sequence of diagnostic tests can be structured in decision trees, but unmanageable bushy decision trees result when the sequence of two or more tests is investigated. Most modelling techniques include tests on the basis of gain in certainty. The aim of this study was to explore a model for optimizing the sequence of diagnostic tests based on efficiency criteria. The probability modifying plot shows, when in a specific test sequence further testing is redundant and which costs are involved. In this way different sequences can be compared. The model is illustrated with data on urinary tract infection. The sequence of diagnostic tests was optimized on the basis of efficiency, which was either defined as the test sequence with the least number of tests or the least total cost for testing. Further research on the model is needed to handle current limitations.

Download Full-text

Pengukuran Kinerja Supply Chain Menggunakan Supply Chain Operation Reference (Scor®) (Studi Kasus Koperasi Baitul Qiradh Baburrayyan)

Talenta Conference Series Energy and Engineering (EE) ◽

10.32734/ee.v2i2.432 ◽

2019 ◽

Vol 2 (2) ◽

Author(s):

Raysa Aleyzia ◽

Hasan Yudie Sastra

Keyword(s):

Supply Chain ◽

Supply Chain Management ◽

Six Sigma ◽

Green Beans ◽

Chain Management ◽

Total Cost ◽

Target Value ◽

Chain Operation ◽

Cost To Serve ◽

Supply Chain Operation

Manajemen supply chain yang tidak maksimal akan mempengaruhi kinerja suatu perusahaan. Di Aceh Tengah terdapat suatu koperasi yaitu Koperasi Baitul Qiradh (KBQ) Baburrayyan yang sudah menerapkan manajemen supply chain. Koperasi ini bergerak di bisnis perdagangan biji kopi (green bean). Penelitian ini bertujuan untuk mengukur kinerja supply chain dari KBQ Baburrayyan. Metode yang digunakan adalah SCOR® dengan praktik perbaikan Convergence of SCOR® with Lean and Six Sigma. Target kinerja yang diperoleh untuk total cost to serve adalah sebesar 94,71% dari nilai target 65,00% dan untuk return on supply chain fixed asset adalah sebesar 1,60 dari nilai target 2,50. Hasil yang diperoleh dari penggunaan praktik tersebut adalah terdapat 8 akar penyebab waste di antaranya kurangnya tenaga pengawas, training/briefing belum maksimal, kurangnya kepedulian tentang pentingnya K3, layout yang kurang efisien, belum adanya unit penyuluhan, alat yang masih sederhana, pekerjaan yang monoton, dan tidak dilarang secara tegas. Supply chain management that is not optimal will affect the performance of a company. In Central Aceh there is a cooperative namely Koperasi Baitul Qiradh (KBQ) Baburrayyan which has implemented supply chain management. This cooperative is engaged in the business of trading in green beans. This study aims to measure the supply chain performance of KBQ Baburrayyan. The method used is SCOR® with the practice of improving Convergence of SCOR® with Lean and Six Sigma. The performance target for total cost to serve is 94.71% of the target value of 65.00% and the return on supply chain fixed assets is 1.60 of the target value of 2.50. The results obtained from the use of the practice are that there are 8 root causes of waste including lack of supervisors, training / briefing is not maximal, lack of concern about the importance of K3, inefficient layouts, absence of extension units, simple tools, monotonous work, and not strictly prohibited.

Download Full-text

The Effect of Investments and Risk Based Capital (RBC) of Tabarru Funds on Company (Case Study of Sharia Insurance in Indonesia for 2014-2019)

International Journal of Nusantara Islam ◽

10.15575/ijni.v8i1.8933 ◽

2020 ◽

Vol 8 (1) ◽

pp. 87-97

Author(s):

Nana Diana ◽

Tati Apriani

Keyword(s):

Life Insurance ◽

Statistical Tests ◽

Linear Regression Analysis ◽

Sampling Technique ◽

Multiple Linear Regression Analysis ◽

Insurance Companies ◽

Coefficient Of Determination ◽

Verification Method ◽

Investment Returns ◽

The Government

This study aims to examine the influence of investment returns and Risk Based Capital (RBC) Tabarru Funds to the profit of sharia life insurance in Indonesia from 2014-2019. This study The type of this research is quantitative research with descriptive verification as a method. This research method uses descriptive verification method with quantitative approach. The data used in this study were sourced from the financial statements of Islamic life insurance companies in Indonesia for the 2014-2019 period. Then the data obtained were analyzed using multiple linear regression analysis and hypothesis testing consisting of t test and f test with the help of SPSS 21 software. The sampling technique uses non probability sampling with purposive sampling technique. Based on the results of the study it can be seen that the development of investment returns on Sharia Life Insurance in Indonesia has fluctuated and even suffered losses. While the development of Risk Based Capital (RBC) has increased and decreased but overall above 120% as determined by the government. Likewise, the profits earned in each year fluctuate. The results of statistical tests show that investment results partially have a positive effect on profit and Risk Based Capital (RBC) of Tabarru funds partially has a negative effect on profit. Simultaneously investment return and Risk Based Capital (RBC) affect on profit. In addition, the results of the coefficient of determination (R2) were obtained which obtained a value of 81%. This shows that the variable investment returns and Risk Based Capital (RBC) can affect earnings by 81% and the remaining 19% is influenced by other variables not used in this study.

Download Full-text

Verification method to improve the efficiency of traffic survey

2020 20th International Conference on Control, Automation and Systems (ICCAS) ◽

10.23919/iccas50221.2020.9268311 ◽

2020 ◽

Author(s):

Mi-seon Kang ◽

Pyong-Kun Kim ◽

Kil-Taek Lim

Keyword(s):

Verification Method

Download Full-text

COST OF MILK PRODUCTION AND BREAK EVEN ANALYSIS OF MEMBER AND NON MEMBER OF DAIRY COOPERATIVE SOCIETY FOR MILCH ANIMALS (COW & BUFFALO) IN DISTRICT ETAWAH OF U.P.

JOURNAL OF ADVANCES IN AGRICULTURE ◽

10.24297/jaa.v2i1.4251 ◽

2014 ◽

Vol 2 (1) ◽

pp. 30-37

Author(s):

Ashish Chandra ◽

Dr. A. K. Dubey ◽

Dr. Sachin Kumar Srivastava

Keyword(s):

Milk Production ◽

Herd Size ◽

Total Cost ◽

Minimum Quantity ◽

Cooperative Society ◽

Point Analysis ◽

Large Herd ◽

Breakeven Point

This study covered 150 cooperative member milk producers and 150 non-member milk producers which were post- stratified into Landless, Marginal, small, medium and large herd size categories. Breakeven point is a point where no profit no loss status achieved where MR = MC. In this study breakeven point analysis was done to estimate the minimum quantity milk to be produced to cover the total cost on all categories (members and nonmembers) of households of milch animals (Cow and buffalo). And also in this study the researchers have find out the Total cost of milk production per liter for member and non member categories. This study is helpful to find out the total cost of milk production in all categories as well as members and nonmembers of dairy cooperative society are able to find out the breakeven point of the whole business.

Download Full-text

The Political Effects of the Semi-Mixed Member Proportional Representation System in Korea: Disproportionality and Effective Number of Parties

The Korean Journal of Area Studies ◽

10.29159/kjas.38.2.4 ◽

2020 ◽

Vol 38 (2) ◽

pp. 79-100

Author(s):

Hyung-Chul Kim

Keyword(s):

Proportional Representation ◽

The Political ◽

Effective Number ◽

Representation System ◽

Political Effects ◽

Effective Number Of Parties ◽

Number Of Parties

Download Full-text

Federal and Subnational Elections in Russia: Coherence and Divergence in Electoral Outcomes

Russian Politics ◽

10.30965/24518921-00503004 ◽

2020 ◽

Vol 5 (3) ◽

pp. 329-353

Author(s):

Rostislav Turovsky ◽

Marina Sukhova

Keyword(s):

Party System ◽

Party Systems ◽

Strong Connection ◽

Regional Parties ◽

Electoral Outcomes ◽

Electoral Authoritarianism ◽

Subnational Elections ◽

Effective Number Of Parties ◽

Number Of Parties ◽

Regional Elections

Abstract This article examines the differences between Russian voting at federal elections and regional legislature elections, both combined and conducted independently. The authors analyse these differences, their character and their dynamics as an important characteristic of the nationalisation of the party system. They also test hypotheses about a higher level of oppositional voting and competitiveness in subnational elections, in accordance with the theory of second-order elections, as well as the strategic nature of voting at federal elections, by contrast with expressive voting during subnational campaigns. The empirical study is based on calculating the differences in votes for leading Russian parties at subnational elections and at federal elections (simultaneous, preceding and following) from 2003, when mandatory voting on party lists was widespread among the regions, to 2019. The level of competitiveness is measured in a similar way, by calculating the effective number of parties. The study indicates a low level of autonomy of regional party systems, in many ways caused by the fact that the law made it impossible to create regional parties, and then also by the 2005 ban on creation of regional blocs. The strong connection between federal and regional elections in Russia clearly underlines the fluid and asynchronic nature of its electoral dynamics, where subnational elections typically predetermine the results of the following federal campaigns. At the same time, the formal success of the nationalisation of the party system, achieved by increasing the homogeneity of voting at the 2016 and 2018 federal elections, is not reflected by the opposing process of desynchronisation between federal and regional elections after Putin’s third-term election. There is also a clear rise in the scale of the differences between the two. At the same time, the study demonstrates the potential presence in Russia of features common to subnational elections in many countries: their greater support for the opposition and presence of affective voting. However, there is a clear exception to this trend during the period of maximum mobilisation of the loyal electorate at the subnational elections immediately following the accession of Crimea in 2014–2015, and such tendencies are generally restrained by the conditions of electoral authoritarianism.

Download Full-text