Automated Proofs of Block Cipher Modes of Operation

We present a Hoare logic for proving semantic security and determining exact security bounds of a block cipher mode of operation. We propose a simple yet expressive programming language to specify encryption modes, semantic functions for each command (statement) in the language, an assertion language that allows to state predicates and axioms, and rules to propagate the predicates through the commands of a program. We also provide heuristics for finding loop invariants that are necessary for the application of our rule on for-loops. This enables us to prove the security of protocols that take arbitrary length messages as input. We implemented a prototype that uses this logic to automatically prove the security of block cipher modes of operation. This prototype can prove the security of many standard modes of operation, such as Cipher Block Chaining (CBC), Cipher FeedBack mode (CFB), Output FeedBack (OFB), and CounTeR mode (CTR).     

Removal of aqueous Fe2+ using MnO2–clinoptilolite in a batch slurry reactor: Catalyst synthesis,characterization and modeling of catalytic behavior

An Iranian clinoptilolite has been modified with MnO₂ for the catalytic removal of Fe²⁺ cations from water in a batch slurry reactor. The modified zeolite was subjected to FESEM, XRD, WDX, XRF and specific surface area analysis. A correlation for the intrinsic catalytic reaction rate incorporating both Fe²⁺ and dissolved oxygen concentration as a function of reaction temperature has been presented. The effect of the modified zeolite aggregate particle size on the iron removal kinetics has been investigated. It was shown that for particles larger than 150 μm, diffusion through the mesopores of the zeolite aggregate is rate controlling. The effective diffusion coefficient through the particles at RT has been calculated as 2.3 × 10^?6 cm² s^?1. It is shown that liquid phase molecular diffusion within the mesopores is the dominating mass transfer mechanism.     

High-capacity steganography using a shared colour palette

Seppanen, Makela and Keskinarkaus (SMK) have proposed a high-capacity steganographic technique to conceal information within a colour image. The technique is significant because of the high volume of data that is embedded into pixels but it results in a high level of noise and so the quality of the resulting image is not acceptable. A new type of coding structure is proposed, which maintains a high capacity but lowers the level of noise. Secondly, an adaptive algorithm is used to identify pixel values that have a high capacity to distortion ratio. Also the maximum size of the coding structures is limited to improve the capacity/distortion tradeoff. For the tested images, an average capacity of nearly 6 bits/pixel was achieved with a peak signal to noise ratio of 40 dB.     

Nonstationary convective drying of raspberries,assisted by microwaves and ultrasound

This study was conducted to investigate the drying characteristics and quality of raspberries dried in non-stationary conditions. Seven drying programs were carried out, including convective (CV) drying as a reference. The non-stationary-hybrid programs were based on continuous CV drying with intermittent microwave and ultrasound assistance. The Midilli–Kucuk model was used successfully to describe the drying kinetics of raspberry fruits. The comparison between moisture ratio, drying rate, diffusion coefficient, energy consumption, and quality analysis, showed that non-stationary-hybrid drying improves process kinetics and results in less color change, higher anthocyanin retention, and better texture profile analysis characteristics with optimal energy usage than other methods. In addition, the physical and microstructural changes occurred during different drying processes were discussed.     

An energy‐efficient task‐scheduling algorithm based on a multi‐criteria decision‐making method in cloud computing

The massive growth of cloud computing has led to huge amounts of energy consumption and carbon emissions by a large number of servers. One of the major aspects of cloud computing is its scheduling of many task requests submitted by users. Minimizing energy consumption while ensuring the user's QoS preferences is very important to achieving profit maximization for the cloud service providers and ensuring the user's service level agreement (SLA). Therefore, in addition to implementing user's tasks, cloud data centers should meet the different criteria in applying the cloud resources by considering the multiple requirements of different users. Mapping of user requests to cloud resources for processing in a distributed environment is a well‐known NP‐hard problem. To resolve this problem, this paper proposes an energy‐efficient task‐scheduling algorithm based on best‐worst (BWM) and the Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) methodology. The main objective of this paper is to determine which cloud scheduling solution is more important to select. First, a decision‐making group identify the evaluation criteria. After that, a BWM process is applied to assign the importance weights for each criterion, because the selected criteria have varied importance. Then, TOPSIS uses these weighted criteria as inputs to evaluate and measure the performance of each alternative. The performance of the proposed and existing algorithms is evaluated using several benchmarks in the CloudSim toolkit and statistical testing through ANOVA, where the evaluation metrics include the makespan, energy consumption, and resource utilization.     

Mixed‐Conducting Perovskites as Cathode Materials for Protonic Ceramic Fuel Cells: Understanding the Trends in Proton Uptake

The proton uptake of 18 compositions in the perovskite family (Ba,Sr,La)(Fe,Co,Zn,Y)O_3‐δ, perovskites, which are potential cathode materials for protonic ceramic fuel cells (PCFCs), is investigated by thermogravimetry. Hydration enthalpies and entropies are derived, and the doping trends are explored. The uptake is found to be largely determined by the basicity of the oxide ions. Partial substitution of Zn on the B‐site strongly enhances proton uptake, while Co substitution has the opposite effect. The proton concentration in Ba_0.95La_0.05Fe_0.8Zn_0.2O_3‐δ is found to be 10% per formula unit at 250 °C, 5.5% at 400 °C, and 2.3% at 500 °C, which are the highest values reported so far for a mixed‐conducting perovskite exhibiting hole, proton, and oxygen vacancy transport. A comprehensive set of thermodynamic data for proton uptake in (Ba,Sr,La)(Fe,Co,Zn,Y)O_3‐δ is determined. Defect interactions between protons and holes partially delocalized from the B‐site transition metal to the adjacent oxide ions decrease the proton uptake. From these results, guidelines for the optimization of PCFC cathode materials are derived.